We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
C 142 28
Pedagogical first-order prover in Python
Python 76 17
Pedagogical first-order prover in Java
Java 1 1
There was an error while loading. Please reload this page.
Loading…