ProofTools 0.5 Beta
ProofTools yra laisvai platinama ir Įvairioms programinės įrangos projektas, kuris buvo sukurtas iš kompensuoti turi būti naudojamos automatiškai ir grafinę kartos semantinio tableaux, taip pat žinomas kaip semantinių medžių, analitinio tableaux, įrodymas...