EXTPOSE

Extensions by pfribeiro

1 extension

Chrome Web Store

Extension List

  • Matisa icon

    Matisa

    This extension allows Isabelle math syntax on GitHub to be appropriately typeset.