Proof assistant for higher-order logic

Current versions

Revision: 1

coq requires the following formulae to be installed:
opam 1.2.2_3 Package manager for OCaml
camlp5 7.01 Preprocessor and pretty-printer for OCaml
ocaml 4.05.0 General purpose programming language in the ML family

Formula history

Tej Chajed coq: expand test to include a plugin (#16940)
Tej Chajed coq: fix HEAD build (#16939)
ilovezfs coq: revision for ocaml
ilovezfs coq 8.6.1
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
Show all revisions of this formula