ProofTools 0.5 Beta
ProofTools est un projet de logiciel distribué librement et multiplateforme qui a été conçu à partir de l'offset à être utilisés pour la génération automatique et graphique des tableaux sémantiques, aussi connu comme les arbres sémantiques, tableaux...