Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Coq

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.
Stars
4,501
License
lgpl-2.1
Open Issues
2,680
Most Recent Commit
3 months ago
Programming Language
OCaml
Dependent Packages
1
Total Releases
4
Latest Release
December 27, 2020
Categories
Site
Repo
Alternatives To Coq
Select To Compare
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago


Suggest An Alternative To coq
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Ocaml Coq
Coq Proof Assistant
Coq Dependent Types
Coq Theorem Proving
Ocaml Dependent Types
Ocaml Proof Assistant
Dependent Types Proof Assistant
Ocaml Theorem Proving

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Coq
Dependent Types
Proof Assistant
Theorem Proving
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.