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: 73,333 updates, 9,016 adds)