Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Proof Coq Open Source Projects

Open source projects categorized as Proof Coq
Categories > Frameworks > Proof
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 1total releases 4most recent commit 3 months ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Frap ⭐ 592
Formal Reasoning About Programs
most recent commit a year ago
Verdi ⭐ 559
A framework for formally verifying distributed systems implementations in Coq
most recent commit 5 months ago
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25most recent commit 7 months agonpm jscoq} Downloads
Pg ⭐ 461
This repo is the new home of Proof General
most recent commit 3 months ago
Coq Tricks ⭐ 458
Tricks you wish the Coq manual told you
most recent commit 5 months ago
Vst ⭐ 407
Verified Software Toolchain
most recent commit 3 months ago
Company Coq ⭐ 327
A Coq IDE build on top of Proof General's Coq mode
most recent commit a year ago
Coqgym ⭐ 327
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 10 months ago
Vscoq ⭐ 290
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh
most recent commit 3 months ago
Proofs ⭐ 278
My personal repository of formally verified mathematics.
most recent commit 3 months ago
Ethereum Formal Verification Overview ⭐ 269
The start page about my efforts around smart contract verification
most recent commit 4 years ago
Awesome Coq ⭐ 261
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
most recent commit 4 months ago
Coqtail ⭐ 233
Interactive Coq Proofs in Vim
most recent commit 6 months ago
Awesome Coq ⭐ 232
A curated list of awesome Coq frameworks, libraries and software.
most recent commit 3 months ago
Foundations ⭐ 205
Voevodsky's original development of the univalent foundations of mathematics in Coq
most recent commit 10 years ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 5 months ago
Verdi Raft ⭐ 175
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
most recent commit 5 months ago
Analysis ⭐ 174
Mathematical Components compliant Analysis Library
most recent commit 3 months ago
Geocoq ⭐ 157
A formalization of geometry in Coq based on Tarski's axiom system
most recent commit 6 months ago
Fiat ⭐ 141
Mostly Automated Synthesis of Correct-by-Construction Programs
most recent commit 4 months ago
Awesome Provable ⭐ 136
A curated set of links to formal methods involving provable code.
most recent commit 2 years ago
The 2 Most Depended On Proof Coq Open Source Projects
The 3 Latest Releases In Proof Coq Open Source Projects
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.