Group :: Sciences/Mathematics
RPM: coq
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 8.0pl3-alt2
Build date: 2 january 2007, 00:26 ( 905.3 weeks ago )
Size: 2.80 Mb
Home page: http://coq.inria.fr
License: LGPL (coq itself), other distributable (documentation)
Summary: The Coq Proof Assistant
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 2 january 2007, 00:26 ( 905.3 weeks ago )
Size: 2.80 Mb
Home page: http://coq.inria.fr
License: LGPL (coq itself), other distributable (documentation)
Summary: The Coq Proof Assistant
Description:
Coq is a proof assistant which:
- allows to handle calculus assertions,
- check mechanically proofs of these assertions,
- helps to find formal proofs,
- extracts a certified program from the constructive proof
of its formal specification,
Current maintainer: Alex V. Myltsev - allows to handle calculus assertions,
- check mechanically proofs of these assertions,
- helps to find formal proofs,
- extracts a certified program from the constructive proof
of its formal specification,
List of contributors List of rpms provided by this srpm:
- coq