Makers/leanprover
leanprover

leanprover

Lean Prover

1projects8.2ktotal stars2Claude commitsMember since Mar 16, 2026

Projects (1)

leanprover/lean4

Lean 4 programming language and theorem prover

8.2k874Lean2mo ago2 Claude commits