Matisa / История на версиитеMatisa · История на версиитеThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Изберете версия за изтегляне1.0.626.06.2018 г.MV2