cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
24,632 Commits 1 Branch 0 Tags 554 MiB
dc79117a80
Commit Graph

4 Commits

Author SHA1 Message Date
naddy
2276d3b230 remove WWW lines 2003-12-15 21:42:08 +00:00
sturm
18ebc748c1 make coq use the ocaml module 
requested by and OK naddy@
 2002-12-18 09:40:07 +00:00
naddy
6cfb0e81a0 Update to 7.3.1 and unbreak. 
From: Yozo Toda <yozo@v007.vaio.ne.jp>
 2002-11-04 21:10:44 +00:00
naddy
3367255cb4 Import of coq 7.0. 
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.

The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
 2001-09-22 14:24:31 +00:00