Sublime Coq
August 16, 2018 ยท View on GitHub
This really only exists for the syntax highlighting as GitHub uses this for syntax highlighting for some reason.
August 16, 2018 ยท View on GitHub
This really only exists for the syntax highlighting as GitHub uses this for syntax highlighting for some reason.