Browsing tag: semantic  

ProofTools 0.5 Beta

This project provides a free and cross-platform application for generating proof trees

Oct 10th 2014, 07:33 GMT
Want more? Browse through the pages: