Home My Page Projects Rainbow
Summary Lists SCM

Project description

This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Public Tools
Mailing Lists (1 public mailing list)
SCM Repository (Subversion: 5,105 updates, 882 adds)