leanprover

leanprover/lean4

Lean 4 programming language and theorem prover

8.7K stars 928 forks 8.7K watchers Lean Apache License 2.0
lean lean4
View on GitHub Website
3 Open Issues Need Help Last updated: Aug 6, 2026

Open Issues Need Help

View All on GitHub
generalize not failing when match fails 15 days ago
bug help wanted P-low
leanprover/lean4
8.7K

Lean 4 programming language and theorem prover

Lean
#lean#lean4
Cleaning trace message option names 11 months ago
help wanted P-low
leanprover/lean4
8.7K

Lean 4 programming language and theorem prover

Lean
#lean#lean4
Codegen emits function declaration twice with different linkages 12 months ago
bug help wanted P-low
leanprover/lean4
8.7K

Lean 4 programming language and theorem prover

Lean
#lean#lean4