Difference between revisions of "Tools:CoLoR"

From Termination-Portal.org
Jump to navigationJump to search
Line 16: Line 16:
  
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 +
<!-- check -->

Revision as of 10:39, 17 January 2011


CoLoR (Coq Library on Rewriting and termination)