Sophie

Sophie

distrib > Mageia > 6 > i586 > by-pkgid > 7285f341937b17c4151aef9e11a26272

coq-8.5pl2-2.mga6.src.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.

Generated packages:

Other version of this rpm: