ProofTools 0.5 Beta
ProofTools je volně šiřitelná a multiplatformní software, projekt, který byl navržen od offset mají být použity pro automatické a grafické tvorby sémantického živých obrazů, také známý jako sémantické stromy, analytických obrazů, důkaz stromy nebo...