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 about 2 years ago
FStarLang/FStar ⭐ 2,522
A Proof-oriented Programming Language
dependent packages 0 total releases 0 most recent commit about 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 about 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 about 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 about 2 years ago
PrincetonUniversity/VST ⭐ 407
Verified Software Toolchain
dependent packages 0 total releases 0 most recent commit about 2 years ago
the-little-prover/j-bob ⭐ 338
dependent packages 0 total releases 0 most recent commit about 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 about 3 years ago
stepchowfun/proofs ⭐ 278
My personal repository of formally verified mathematics.
dependent packages 0 total releases 0 most recent commit about 2 years ago
Get A Weekly Email With Trending Proof Assistant Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

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

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