Matisa / Historia wersjiMatisa · Historia wersjiThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Wybierz wersję do pobrania1.0.626 cze 2018MV2