Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Proof Assistant Open Source Projects
Open source projects categorized as Proof Assistant
Categories
>
Programming Languages
>
Proof Assistant
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
agda/agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
plfa/plfa.github.io
⭐
1,285
An introduction to programming language theory in Agda
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jscoq/jscoq
⭐
496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages
0
total releases
0
most recent commit
over 2 years ago
ProofGeneral/PG
⭐
461
This repo is the new home of Proof General
dependent packages
0
total releases
0
most recent commit
over 2 years ago
PrincetonUniversity/VST
⭐
407
Verified Software Toolchain
dependent packages
0
total releases
0
most recent commit
over 2 years ago
the-little-prover/j-bob
⭐
338
dependent packages
0
total releases
0
most recent commit
over 5 years ago
cpitclaudel/company-coq
⭐
327
A Coq IDE build on top of Proof General's Coq mode
dependent packages
0
total releases
0
most recent commit
over 3 years ago
stepchowfun/proofs
⭐
278
My personal repository of formally verified mathematics.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Proof Assistant Projects
No Spam. Unsubscribe easily at any time.
Proof Assistant
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
