ProofTools 0.5 Beta
ProofTools è un progetto di software distribuito gratuitamente e multipiattaforma che è stato progettato dalla offset da utilizzare per la generazione automatica e la grafica di tableaux semantici, noto anche come alberi semantici, tableaux analitica,...