Package : coq

Package details

Summary: The Coq Proof Assistant

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.



Maintainer: nobody

List of RPMs

    No RPM found for coq using the current filters, try other values.