The math/coq port
coq-7.3.1p0 – proof assistant based on a typed lambda calculus
Description
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
WWW: http://coq.inria.fr/
- Broken
-
requires update due to ocaml 3.08
- Categories:
-
math
Library dependencies
Build dependencies
Run dependencies