Matisa / Ιστορικό εκδόσεωνMatisa · Ιστορικό εκδόσεωνThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Επιλέξτε την έκδοση για λήψη1.0.626 Ιουν 2018MV2