coq - The Coq Proof Assistant
Website: | http://coq.inria.fr/ |
---|---|
License: | LGPLv2 |
- Description:
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.
Packages
coq-8.2-5m.mo6.i686 [34.4 MiB] |
Changelog
by Masahiro Takahata (2009-06-27):
- (8.2-5m) - version up 8.2-1 |