Home My Page Projects CoLoR
Summary Lists SCM Files

Project description

The aim of this project is to develop the Coq library CoLoR on rewriting and termination.

Public Tools
Mailing Lists (1 public mailing list)
SCM Repository (Subversion: 6,802 updates, 1,213 adds)