eprover

Popular repositories Loading

1. eprover eproverPublic

   C 171 32

2. PyRes PyResPublic

   Pedagogical first-order prover in Python

   Python 84 17

3. JavaRes JavaResPublic

   Pedagogical first-order prover in Java

   Java 1 1

4. PyCheck PyCheckPublic

   PyCheck is a simple proof checker for TPTP/TSTP proofs in FOF/CNF

   Python