5 open source projects by coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Multi platform setup for Coq, Coq libraries and tools

Archive for all Coq related OPAM packages organized in various repositories

No description, website, or topics provided.

Source files of the coq.inria.fr website (static part)