Matisa / Історія версійMatisa · Історія версійThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Виберіть версію для завантаження1.0.626 черв. 2018 р.MV2