Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Coq Proof Assistant Open Source Projects

Open source projects categorized as Coq Proof Assistant
Categories > Programming Languages > Proof Assistant
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
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
Vst ⭐ 407
Verified Software Toolchain
most recent commit 4 months ago
Company Coq ⭐ 327
A Coq IDE build on top of Proof General's Coq mode
most recent commit a year ago
Proofs ⭐ 278
My personal repository of formally verified mathematics.
most recent commit 3 months ago
Coqtail ⭐ 233
Interactive Coq Proofs in Vim
most recent commit 6 months ago
Fiat ⭐ 141
Mostly Automated Synthesis of Correct-by-Construction Programs
most recent commit 4 months ago
Kami ⭐ 130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
most recent commit 7 months ago
Coq Serapi ⭐ 119
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
most recent commit 3 months ago
Coq_jupyter ⭐ 89
Jupyter kernel for Coq
total releases 10most recent commit 3 months ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Pumpkin Pi ⭐ 49
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
most recent commit 2 months ago
Spacemacs Coq ⭐ 40
A very simple coq layer for spacemacs
most recent commit 5 years ago
Libhyps ⭐ 18
A Coq library providing tactics to deal with hypothesis
most recent commit 5 months ago
Coq.vim ⭐ 16
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
most recent commit 5 years ago
Easier Proofs ⭐ 14
A project which aim to help engineers to make proves easily
most recent commit 2 years ago
Spacesearch ⭐ 8
most recent commit 7 years ago
Vstyle ⭐ 7
A style guide for Coq
most recent commit 2 years ago
Gentzen ⭐ 6
A beginner's theorem prover
most recent commit 11 years ago
Engine Bench ⭐ 5
Benchmarks for various proof engines
most recent commit 2 years ago
The 2 Most Depended On Coq Proof Assistant Open Source Projects
The 3 Latest Releases In Coq Proof Assistant Open Source Projects
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25latest release October 04, 2023most recent commit 7 months agonpm jscoq} Downloads
Coq_jupyter ⭐ 89
Jupyter kernel for Coq
total releases 10latest release January 28, 2022most recent commit 3 months ago
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.