RSS Feed for this tag 2 applications totalLast updated: Jan 14th 2013, 13:08 GMT
Model logic prover written in Java
Tableau theorem prover for modal logic