highlightjs-lean

leanprover-community
js
highlightjs-lean JS library on GitHub highlightjs-lean JS library on npm Download highlightjs-lean JS library

A highlightjs language grammar for the Lean theorem proving language.

Version 1.2.0 License BSD-3-Clause
highlightjs-lean has no homepage
highlightjs-lean JS library on GitHub
highlightjs-lean JS library on npm
Download highlightjs-lean JS library
Keywords
leanproverhighlight.jshighlightjssyntax
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN