Matisa / VersionsverlaufMatisa · VersionsverlaufThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Download-Version auswählen1.0.626. Juni 2018MV2