Explore Projects
Discover 2 open source projects
Showing 1-2 of 2 projects
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
1.7K
lean-dojo/LeanCopilot
LeanCopilot is a C++ library that uses large language models (LLMs) as copilots for theorem proving in the Lean programming language.
1.2K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.