Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Lean Theorem Proving Open Source Projects

Open source projects categorized as Lean Theorem Proving
Categories > Lean
Categories > Mathematics > Theorem Proving
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Leancopilot ⭐ 593
LLMs as Copilots for Theorem Proving in Lean
most recent commit 3 months ago
Leandojo ⭐ 397
Tool for data extraction and interacting with Lean programmatically.
most recent commit 3 months ago
Certigrad ⭐ 346
Bug-free machine learning on stochastic computation graphs
most recent commit 5 years ago
Reprover ⭐ 136
Retrieval-Augmented Theorem Provers for Lean
most recent commit 3 months ago
Llmstep ⭐ 58
llmstep: [L]LM proofstep suggestions in Lean 4.
most recent commit 5 months ago
Trepplein ⭐ 18
Lean type-checker written in Scala.
most recent commit 2 years ago
Lean Crypto Formalization ⭐ 6
Library for formalizing cryptography proofs in Lean
most recent commit 3 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.