ProofTools 0.5 Beta
ProofTools é um projeto de software distribuído gratuitamente e multiplataforma que foi concebido a partir do deslocamento a ser utilizado para a geração automática e gráfica de tableaux semântica, também conhecido como árvores semânticas, tableaux...