eprover

Popular repositories

1. eprover Public

   C 74 20

2. PyRes Public

   Pedagogical first-order prover in Python

   Python 29 9

3. JavaRes Public

   Pedagogical first-order prover in Java

   Java 1