Matisa / የስሪት ታሪክMatisa · የስሪት ታሪክThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.የሚወርደውን ስሪት ይምረጡ1.0.6ጁን 26 2018MV2