Search results
2 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
A highlightjs language grammar for the Lean theorem proving language.
published version 1.2.0, 6 months ago0 dependents licensed under $BSD-3-Clause
615
Monaco Editor support for the Lean 4 theorem prover.
published version 1.0.35, 3 months ago0 dependents licensed under $Apache-2.0
131