Softpedia >Mac >  Applications filed under: generate semantic tableau  (1 item)

Apps filed under: generate semantic tableau

  RSS Feed for this tag 1 application totalLast updated: Jun 21st 2020, 12:33 GMT

     
  • 337 downloads
  • 2.8 MB
ProofTools

ProofTools 0.6.2

A cross-platform application that was specifically designed to generate graphical semantic tableau...

Jun 21st 2020, 12:33 GMT
Mac OS X (Intel only)