Proof assistant for higher-order logic

Current versions:
8.5pl2 HEAD



coq requires the following formulae to be installed:

Formula history

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
Luke Nelson coq 8.5pl1
Tomasz Pajor coq: audit fixes
Tej Chajed coq: update to v8.5
Show all revisions of this formula