Matisa / História verziíMatisa · História verziíThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Vyberte verziu na stiahnutie1.0.626. 6. 2018MV2