Popular repositories

1. eprover eprover Public

   C 122 24

2. PyRes PyRes Public

   Pedagogical first-order prover in Python

   Python 67 15

3. JavaRes JavaRes Public

   Pedagogical first-order prover in Java

   Java 1 1