leanprover / lean4
Lean 4 programming language and theorem prover
COLLECTED BY
Collection: End Of Term 2024 Pre-Election Crawls

{{ message }}
See what the GitHub community is most excited about this week.
Lean 4 programming language and theorem prover
Intuitive, type-safe expression quotations for Lean 4.
White-box automation for Lean 4
The math library of Lean 4