Proof assistant for higher-order logic

Current versions:
8.6 HEAD



coq requires the following formulae to be installed:

Formula history

ilovezfs coq 8.6
ilovezfs coq: revision for camlp5
ilovezfs coq 8.5pl3
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tiller coq: use elisp shorthand
ilovezfs coq 8.5pl2
harold cooper coq: deparallelize the make install step
harold cooper coq: remove caveats
ilovezfs coq: revision for ocaml
Show all revisions of this formula