./lang/coq, Theorem prover which extracts programs from proofs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 8.9.0, Package name: coq-8.9.0, Maintainer: jaapb

From http://coq.inria.fr/doc/tutorial.html:

Coq is a Proof Assistant for a Logical Framework known as the
Calculus of Inductive Constructions. It allows the interactive
construction of formal proofs, and also the manipulation of
functional programs consistently with their specifications.


Required to run:
[lang/ocaml] [x11/gtk2] [lang/camlp5] [lang/python27] [x11/ocaml-lablgtk] [math/ocaml-num]

Required to build:
[pkgtools/x11-links] [x11/xcb-proto] [x11/fixesproto4] [pkgtools/cwrappers] [x11/xorgproto]

Package options: coqide

Master sites:

SHA1: 8833deafd57649f875f15c0739c8ac1ffe06aeda
RMD160: b587d945a5eb0366c7a7b280f1ff08940c800a60
Filesize: 5851.768 KB

Version history: (Expand)


CVS history: (Expand)


   2019-03-06 10:28:23 by Jaap Boender | Files touched by this commit (5) | Package updated
Log message:
Updated lang/coq to version 8.9.0.

Many improvements and fixes, but none that appear to break compatibility.
For more details see the CHANGES file.
   2018-12-09 19:52:52 by Adam Ciarcinski | Files touched by this commit (724)
Log message:
revbump after updating textproc/icu
   2018-11-29 12:22:00 by Patrick Welche | Files touched by this commit (173)
Log message:
Revbump for libcanberra gstreamer change.
   2018-11-14 23:22:54 by Klaus Klein | Files touched by this commit (1332) | Package updated
Log message:
Revbump after cairo 1.16.0 update.
   2018-11-12 04:53:16 by Ryo ONODERA | Files touched by this commit (1532)
Log message:
Recursive revbump from hardbuzz-2.1.1
   2018-10-24 23:11:57 by Leonardo Taccari | Files touched by this commit (173) | Package updated
Log message:
*: (belatedly) revbump for net/libsoup update

Thanks to <wiz>!
   2018-08-02 14:57:03 by Jaap Boender | Files touched by this commit (4) | Package updated
Log message:
Updated package lang/coq to version 8.8.1.

The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.

The reference manual has been fully ported to Sphinx.
   2018-07-20 05:34:33 by Ryo ONODERA | Files touched by this commit (705)
Log message:
Recursive revbump from textproc/icu-62.1