Home My Page Projects Coq
Summary Activity Lists SCM

Project description

Coq is a formal proof management system.
The project home page is http://coq.inria.fr (see link below).

Public Tools
Mailing Lists (1 public mailing list)
SCM Repository (Git: 71,467 updates, 8,761 adds)