ProofTools 0.5 Beta
ProofTools у вільно поширюватися і мультиплатформенний програмний проект, який був розроблений з зсув, яке використовується для автоматичного і графічного покоління семантичної картин, також відомий як семантичні дерева, аналітичних таблиць, стійких дерев...