Matisa

Matisa

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

Error image