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.2pl1-3m.mo7.x86_64 [22.9 MiB] |
Changelog
by Yohsuke Ooi (2010-08-31):
- (8.2pl1-3m) - full rebuild for mo7 release |