Proof assistant for higher-order logic

Current versions:



coq requires the following formulae to be installed:

Reverse dependencies

The following formula requires coq to be installed:

Formula history

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
harold coopercoq: remove caveats
ilovezfscoq: revision for ocaml
Show all revisions of this formula