v 9.2.0 Updated: 6 days, 11 hours ago
Proof assistant for higher-order logic
Rocq (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.
To install rocq, paste this into the macOS Terminal after installing MacPorts
sudo port install rocq
| Installations | 0 |
| Requested Installations | 0 |