Précédent : Références Remonter : Projet COQ
Précédent : Références Remonter : Projet
COQ
The goal of the Coq project is to design proof processing systems, i.e. systems verifying, producing and transforming mathematical proofs. We are developing such a system called Coq, we are using this system to develop proofs (in particular correction proofs of software designs), we are studying the formalized mathematical language implemented in this system and some alternatives.