Sophie

Sophie

distrib > Mageia > 7 > i586 > by-pkgid > 35bbf0c784f6f12d57d44cb1f9b02cce

coq-8.7.1-1.mga7.i586.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: