coq (lang/coq) Add to my watchlist

Proof assistant for higher-order logic

Coq 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
Displaying statistics for 992 users who made submissions during: until

Statistics for selected duration

2024-Jan-27 to 2024-Feb-26


Total Installations 1
Requested Installations 1


macOS Versions

Loading Chart

Port Versions

Loading Chart



Xcode Versions

Loading Chart

CLT Versions

Loading Chart



Variants table

Variants Count


Monthly Statistics

Can remain cached for up to 24 hours