Tools:CoLoR
From Termination-Portal.org
Revision as of 09:31, 19 May 2008 by Akoprowski (talk | contribs)
CoLoR (Coq Library on Termination and Rewriting)
- developed at INRIA and Eindhoven University of Technology, France and The Netherlands
- home page: http://color.loria.fr/
- developers: Frederic Blanqui and Adam Koprowski
- publication: {{{publication}}}
