253ba3b3b5
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>
5 lines
209 B
Plaintext
5 lines
209 B
Plaintext
MD5 (coq-8.0pl1.tar.gz) = 95237e64081d7306fdea49e1988bde12
|
|
SIZE (coq-8.0pl1.tar.gz) = 2272613
|
|
MD5 (patch-coq-8.0pl1-ocaml-3.08.1) = 02ac210c6af5d8e258a2805a22822a8b
|
|
SIZE (patch-coq-8.0pl1-ocaml-3.08.1) = 1321
|