rocq (lang/rocq) Updated: 1 month, 2 weeks ago Add to my watchlist
Proof assistant for higher-order logicRocq (formerly 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 Dune.
Version: 9.2.0 License: LGPL-2.1
GitHub
Statistics for selected duration
2026-Jun-28 to 2026-Jul-28
| Total Installations | 2 |
|---|---|
| Requested Installations | 1 |
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