highlightjs-lean (npm): A highlightjs language grammar for the Lean theorem proving language.
Keywords: leanprover|highlight.js|highlightjs|syntax