rocq (lang/rocq) Updated: 5 months 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-Oct-10 to 2026-Nov-09
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.