[Termtools] certification of termination proofs

[Frederic Blanqui]

I'm pleased to announce the first release of Rainbow.

The aim of Rainbow is to certify termination proofs written in some XML format. 
The certification is done by generating a Coq file using the CoLoR library.

This first release is very simple and can only certify polynomial 
interpretations. More is going to come !

See http://color.loria.fr/ for more details.
_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools