ProofTools 0.5 Beta
ProofTools is een vrij verspreid en multiplatform software project dat is ontworpen vanuit de offset te worden gebruikt voor automatische en grafische generatie van semantische tableaus, ook wel bekend als semantische bomen, analytische tableaux, bewijs...