Proof assistant for higher-order logic

Current versions

Revision: 1

coq requires the following formulae to be installed:
opam 1.2.2_4 Package manager for OCaml
camlp5 7.03_1 Preprocessor and pretty-printer for OCaml
ocaml 4.06.0 General purpose programming language in the ML family
ocaml-num 1.1 OCaml legacy Num library for arbitrary-precision arithmetic

Formula history

ilovezfs coq: depend on ocaml-num
ilovezfs Use “squiggly” heredocs.
ilovezfs coq 8.7.0
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
Show all revisions of this formula