Sophie

Sophie

distrib > Mageia > 5 > x86_64 > by-pkgid > 3c9ec6b8c88d6c0bd0adf6fd9e547361

coq-8.4pl4-5.mga5.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: