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
GitHub
Statistics for selected duration
2026-Mar-09 to 2026-Apr-08
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.