coq (lang/coq) Add to my watchlist
Proof assistant for higher-order logicCoq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.
Version: 8.13.2 License: LGPL-2.1![](/static/images/github.png)
Statistics for selected duration
2024-Jun-27 to 2024-Jul-27
Total Installations | 3 |
---|---|
Requested Installations | 3 |
Loading Chart
Loading Chart
Loading Chart
Loading Chart
Variants | Count |
---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart