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.

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

sudo port install coq

Add to my watchlist

Installations 2
Requested Installations 2