ProofTools 0.5 Beta
ProofTools er et fritt distribuert og multiplattform programvare-prosjekt som er designet fra forskyvningen skal brukes for automatisk og grafisk generasjon av semantisk tablåer, også kjent som semantiske trær, analytisk tablåer, bevis trær eller sannhets...