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.


URL: http://coq.inria.fr
License: LGPLv2

Maintainer: nobody

List of RPMs