ProofTools 0.5 Beta
ProofTools on vapaasti levitettävissä ja multiplatform ohjelmistoprojektin joka on suunniteltu offset käytettävä automaattista ja graafinen sukupolven semanttisen taululla, joka tunnetaan myös semanttinen puita, analyyttinen tableaux todiste puita tai...