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