RSS Feed for this tag 1 application totalLast updated: Jan 14th 2013, 13:08 GMT
Model logic prover written in Java