Lean 4 development tools and ecosystem
13 repos
Tools, libraries, and interactive environments for the Lean 4 proof assistant and functional programming language. The cluster spans command-line utilities (CLI tooling), REPL implementations, visualization systems like ProofWidgets for tactic state exploration, and infrastructure for code analysis and import graph visualization. Developers working in formal verification, theorem proving, or Lean 4 programming will find resources for interactive development, proof exploration, and ecosystem integration.
Lean · 13
lean4 ·14,524
lean ·10,578
computer-science ·696
visualization ·224
cli ·120
