Syntax highlighting for the Lily theorem prover
Primary LanguageTypeScriptMIT LicenseMIT
No issues in this repository yet.