Leanprover | npm.io

A highlightjs language grammar for the Lean theorem proving language.

leanprover highlight.js highlightjs syntax

1.2.0 • Published 1 year ago

Monaco Editor support for the Lean 4 theorem prover.

lean leanprover monaco editor vscode

1.0.46 • Published 4 months ago