A highlight.js language grammar for the Lean theorem proving language.
JavaScript Updated about 1 month ago 1 commits 13 stars
axiom-bot|Mirror: leanprover-community/highlightjs-lean (⭐13)
about 1 month agoE2B SandboxFirecracker microVMjavascript
No executable code files found in this repository.
About
A highlight.js language grammar for the Lean theorem proving language.
Readme
13 stars
5 forks