Projet : Pour L'Utilisation et l'aMÉlioration
de la déduction automatique

Précédent : Logiciels Remonter : Logiciels Suivant : FleXML

X_Y-pic

 

Participants : Kristoffer Rose.

Mots clés : Dessin de diagrammes .

Résumé :

Le logiciel «X_Y-pic» pour le dessin de diagrammes en L^ATEX est en développement continu.

Le logiciel X_Y-pic reste un des systèmes les plus utilisés pour le dessin des diagrammes pour la réécriture, la théorie des catégories, les automates, etc. La version 3.7 est disponible sur le site : ftp://ftp.ens-lyon.frpubusersLIP krisroseTeX [].