Description
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Additional Information
Version
1.0.6
Size
1.38 MB
Manifest
Version 2
Developer Information
Authorpfribeiro
More from this developer
No other extensions found from this developer