Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Coq Proof Open Source Projects

Open source projects categorized as Coq Proof
Categories  > Mathematics  > Coq
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
jozefg/learn-tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
dependent packages 0 total releases 0 most recent commit almost 6 years ago
achlipala/frap ⭐ 592
Formal Reasoning About Programs
dependent packages 0 total releases 0 most recent commit about 3 years ago
uwplse/verdi ⭐ 559
A framework for formally verifying distributed systems implementations in Coq
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
tchajed/coq-tricks ⭐ 458
Tricks you wish the Coq manual told you
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
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
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 Coq Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

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