coq (lang/coq) Add to my watchlist

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.

Version: 8.13.2 License: LGPL-2.1 GitHub
Maintainers pmetzger
Categories lang math
Platforms darwin
  • doc (Build documentation)

"coq" depends on

lib (2)
build (2)

Ports that depend on "coq"

No ports

Port notes

The style file for LaTeX documentation, coqdoc.sty, is in ${prefix}/share/coq/latex. Add this to your TEXINPUTS if you wish to use it.

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck results

coq seems to have been updated (port version: 8.13.2, new version: 8.19.0)

livecheck ran: 13 hours ago