ProofTools 0.5 Beta
ProofTools является свободно распространяться и мультиплатформенный программный проект, который был разработан с смещение, которое используется для автоматической и графического поколения семантической картин, также известный как семантических деревьев,...