Package Usage: npm: highlightjs-lean
A highlightjs language grammar for the Lean theorem proving language.
3 versions
Latest release: over 3 years ago
1 dependent package
424 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/highlightjs-lean