[Termtools] proposal

[Johannes Waldmann]

H. Zantema wrote:

> * In the generated proofs only established techniques are allowed...
> * Are you willing to accept these rules and adjust your tool and/or
> submit a list of techniques used? 

Yes. Good idea, pointing into the right direction (formal verification).
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools