Softpedia >Mac >  Applications filed under: modal logic simulator  (1 item)

Apps filed under: modal logic simulator

  RSS Feed for this tag 1 application totalLast updated: Jan 14th 2013, 13:08 GMT

     
  • 110 downloads
  • 1 KB
Mollicino

Mollicino 1.0

Model logic prover written in Java

Jan 14th 2013, 13:08 GMT
Mac OS X