| Name : coq
| |
| Version : 8.0pl3
| Vendor : ALT Linux Team
|
| Release : alt2
| Date : 2007-01-02 02:51:15
|
| Group : Sciences/Mathematics
| Source RPM : coq-8.0pl3-alt2.src.rpm
|
| Size : 35.33 MB
| |
| Packager : Alex V_ Myltsev < avm_altlinux_ru>
| |
| 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,
|
