ProofTools 0.5 Beta
ProofTools się swobodnie rozpowszechniane i wieloplatformowy projektem, który został zaprojektowany z offsetu być wykorzystane do automatycznego i graficznym generacji semantycznej obrazach, znany również jako drzew semantycznych, analitycznej obrazach,...