Bonsoir la liste,

je viens de lire cette page
Code : Sélectionner tout - Visualiser dans une fenêtre à part
http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.5/support.html#Release
, et j'aimerais savoir si TPTP pourra être utilisé sous Ubuntu Linux ?

Merci d'avance