Makers/leanprover
leanprover

leanprover

Lean Prover

1projects7.9ktotal stars2Claude commitsMember since Mar 16, 2026

Projects (1)

leanprover/lean4

Lean 4 programming language and theorem prover

7.9k828Lean1mo ago2 Claude commits