ProofTools 0.5 Beta
ProofTools är ett fritt distribueras och multiprogramvaruprojekt som har utformats från offset för att användas för automatisk och grafisk generering av semantisk tablåer, även känd som semantiska träd, analytisk tablåer, korrektur träd eller sannings...