Sophie

Sophie

distrib > Mandriva > 2009.1 > x86_64 > by-pkgid > 131a8cfbaf857def8ecac75d0e2f4234

coq-8.2-1mdv2009.1.x86_64.rpm

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,

Sources packages:

Other version of this rpm: