coq (lang/coq) Add to my watchlist
Proof assistant for higher-order logicCoq 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 |
| Homepage | https://coq.inria.fr/ |
| Platforms | darwin |
| Variants |
|
"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)
2
Requested Installations (30 days)
2
Livecheck results
coq seems to have been updated (port version: 8.13.2, new version: 8.19.1)
livecheck ran: 13 hours ago