[Termination tools] termination competition: certification of proofs

[Salvador Lucas]

Frederic Blanqui wrote:

> 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. 

Ok.

Salvador.