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

Tej Chajedcoq: expand test to include a plugin (#16940)
Tej Chajedcoq: fix HEAD build (#16939)
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
Show all revisions of this formula