coq

Proof assistant for higher-order logic

Current versions:
8.6.1HEAD

Revision: 1

Homepage:https://coq.inria.fr/

Dependencies

coq requires the following formulae to be installed:

Reverse dependencies

The following formula requires coq to be installed:

Formula history

ilovezfscoq: revision for ocaml
ilovezfscoq 8.6.1
ilovezfscoq 8.6
ilovezfscoq: revision for camlp5
ilovezfscoq 8.5pl3
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tillercoq: use elisp shorthand
ilovezfscoq 8.5pl2
harold coopercoq: deparallelize the make install step
Show all revisions of this formula