ProofTools 0.5 Beta
ProofTools е свободно да се разпространява и многоплатформен софтуер проект, който е разработен от отклонението да се използват за автоматично и графичен поколение на семантична картини, известен също като семантични дървета, аналитична картини,...