Package : coq

Package details

Summary: The Coq Proof Assistant

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.

License: LGPLv2

Maintainer: nobody

List of RPMs