Bloc-note
JavaToTuopa est un logiciel developpé en Java qui permet la conversion d'un type abstrait, dit TUOPA , en langage JAVA et inversement. Le type abstrait est ici stocké sous la forme d'un arbre XML.
Ce logiciel, aboutissement de deux semaines de travail en binône avec Jérôme LERAY n'est malheureusement pas totalement fini.
En effet, certains axiomes ne sont pas gérés par le logiciel, mais le principal est fait.