Apps filed under: tableaux
RSS Feed for this tag 1 application totalLast updated: Oct 10th 2014, 07:33 GMT
- 116 downloads
ProofTools 0.5 Beta
This project provides a free and cross-platform application for generating proof trees
Oct 10th 2014, 07:33 GMT