ProofTools 0.5 Beta
ProofTools ofset tasarlanmış olan bir serbestçe dağıtılabilir ve çoklu yazılım projesi de glanceThe de anlamsal ağaçlar, analitik tableaux, ispat ağaçları ya da hakikat trees.Features olarak bilinen anlamsal tableaux otomatik ve grafik nesil için...