Pav Lucistnik 253ba3b3b5 Add coq, a formal proof management system: a proof done with Coq is ... mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>		2004-10-16 00:55:32 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist