358f2678e5
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.
5 lines
226 B
Text
5 lines
226 B
Text
$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $
|
|
|
|
SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b
|
|
Size (coq-7.4.tar.gz) = 1537547 bytes
|
|
SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e
|