rocq (lang/rocq) Updated: 1 week, 1 day 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-May-18 to 2026-Jun-17
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.