A highlight.js language grammar for the Lean theorem proving language.
JavaScript Updated 13 days ago 1 commits 13 stars
axiom-bot|Mirror: leanprover-community/highlightjs-lean (⭐13)
13 days 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