Proof assistant for higher-order logic

Current versions:

Revision: 1



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