ProofTools 0.5 Beta
ProofTools szabadon terjesztett és multiplatform szoftver projekt, amelyet úgy alakítottak a eltolva használhatók automatikus és grafikus generációs szemantikai tablók, más néven szemantikai fák, analitikus tablók, proof fák vagy az igazság trees.Features...