Matisa / Historique des versionsMatisa · Historique des versionsThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Choisissez la version à télécharger1.0.626 juin 2018MV2