[Termination tools] termination competition: certification of proofs

[Frederic Blanqui]

On Thu, 26 May 2005, Salvador Lucas wrote:

> Probably we could, then, coordinate our effort or even work together to 
> design and develop an new XML TPDB format where all the discussed aspects 
> are considered and smoothly integrated.

i propose that people interested in developping the output proof xml format to 
contact me. it's better not using the list for that.