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

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


Branch: CURRENT, Version: 8.9.1nb3, Package name: coq-8.9.1nb3, 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] [x11/ocaml-lablgtk] [math/ocaml-num] [lang/python37]

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

Package options: coqide

Master sites:

SHA1: d26646b33922bcd9eb44ef80162f8d0513784e46
RMD160: d82a0f7d31c0e5d7b8b566cd15d7ff9f724c250b
Filesize: 5861.299 KB

Version history: (Expand)


CVS history: (Expand)


   2019-11-03 20:04:09 by Roland Illig | Files touched by this commit (159)
Log message:
lang: align variable assignments

pkglint -Wall -F --only aligned --only indent -r

No manual corrections.
   2019-09-02 15:33:23 by Adam Ciarcinski | Files touched by this commit (6)
Log message:
Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE
   2019-09-01 02:51:47 by Mark Davies | Files touched by this commit (3)
Log message:
coq: patch to build with ocaml 4.08
   2019-07-22 00:26:08 by Thomas Klausner | Files touched by this commit (1256)
Log message:
*: recursive bump for gdk-pixbuf2-2.38.1
   2019-07-21 00:46:59 by Thomas Klausner | Files touched by this commit (595)
Log message:
*: recursive bump for nettle 3.5.1
   2019-05-23 12:55:07 by Jaap Boender | Files touched by this commit (2) | Package updated
Log message:
Updated lang/coq to version 8.9.1.

Main changes:
* some quality-of-life bug fixes,
* many improvements to the documentation,
* a critical bug fix related to primitive projections and native_compute,
* several additional Coq libraries shipped with the Windows installer.
   2019-05-06 00:49:54 by Ryo ONODERA | Files touched by this commit (104)
Log message:
Recursive rebvump from devel/nss
   2019-04-26 14:44:44 by Roy Marples | Files touched by this commit (10)
Log message:
More packages wave bye-bye to python34 and python35