Difference between revisions of "Tools:CoLoR"
From Termination-Portal.org
Jump to navigationJump to search (added CoLoR) |
(No difference)
|
Revision as of 12:59, 30 March 2008
CoLoR (Coq Library on Termination and Rewriting)
- developed at INRIA, France
- home page: http://color.loria.fr/
- developers: Blanqui,Koprowski
- publication: {{{publication}}}