Matisa / ورژن ہسٹریMatisa · ورژن ہسٹریThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.ڈاؤن لوڈ کے لیے ورژن منتخب کریں1.0.626 جون، 2018MV2