ProofTools

ProofTools 0.5 Beta

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

читать далее