Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Inria | Raweb 2013 | Exploratory Action
XML PDF e-pub
PDF e-Pub

Section: Software and Platforms


CoLoR is a Coq library on rewriting theory and termination of more than 83,000 lines of code [2] . It provides definitions and theorems for:

CoLoR is distributed under the CeCILL license. It is currently developed by Frédéric Blanqui and Kim-Quyen Ly, but various people participated to its development since 2006 (see the website for more information).