Up to [cvs.NetBSD.org] / pkgsrc / lang / coq
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: pkgsrc-2003Q4-base
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Sat Mar 22 20:21:17 2003 UTC (21 years, 1 month ago) by kristerw
Branch: TNF
CVS Tags: pkgsrc-base,
pkgsrc-2004Q4-base,
pkgsrc-2004Q4,
pkgsrc-2004Q3-base,
pkgsrc-2004Q3,
pkgsrc-2004Q2-base,
pkgsrc-2004Q2,
pkgsrc-2004Q1-base,
pkgsrc-2004Q1,
pkgsrc-2003Q4-base,
pkgsrc-2003Q4
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored)
By popular demand, move coq-7.4 from math to lang in order to be consistent with prior art (e.g. lang/twelf). 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.