Explore Projects
Discover 1 open source projects
Showing 1-1 of 1 projects
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
1.7K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.