Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Theorem Proving Open Source Projects
Open source projects categorized as Theorem Proving
Categories
>
Mathematics
>
Theorem Proving
Edit Category
coq/coq
⭐
4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
FStarLang/FStar
⭐
2,522
A Proof-oriented Programming Language
dependent packages
0
total releases
0
most recent commit
over 2 years ago
leanprover/lean3
⭐
2,156
Lean Theorem Prover
dependent packages
0
total releases
0
most recent commit
over 2 years ago
CakeML/cakeml
⭐
879
CakeML: A Verified Implementation of ML
dependent packages
0
total releases
0
most recent commit
over 2 years ago
lean-dojo/LeanCopilot
⭐
593
LLMs as Copilots for Theorem Proving in Lean
dependent packages
0
total releases
0
most recent commit
over 2 years ago
HOL-Theorem-Prover/HOL
⭐
572
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
lean-dojo/LeanDojo
⭐
397
Tool for data extraction and interacting with Lean programmatically.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
idris-hackers/software-foundations
⭐
356
Software Foundations in Idris
dependent packages
0
total releases
0
most recent commit
about 7 years ago
dselsam/certigrad
⭐
346
Bug-free machine learning on stochastic computation graphs
dependent packages
0
total releases
0
most recent commit
over 7 years ago
princeton-vl/CoqGym
⭐
327
A Learning Environment for Theorem Proving with the Coq proof assistant
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
Get A Weekly Email With Trending Theorem Proving Projects
No Spam. Unsubscribe easily at any time.
Theorem Proving
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
