coq

v 8.13.2

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.

https://coq.inria.fr/

To install coq, paste this in macOS terminal after installing MacPorts

sudo port install coq

Add to my watchlist

Installations 1
Requested Installations 1