Matisa / Sejarah versiMatisa · Sejarah versiThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Pilih versi untuk dimuat turun1.0.626 Jun 2018MV2