Explore Projects
Discover 3 open source projects
Showing 1-3 of 3 projects
leanprover/lean4
Lean 4 is a programming language and theorem prover for building verified software.
7.5K
leanprover-community/mathlib4
Lean 4 math library for Lean 4
3.0K
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.