Geeks
eprover
eprover Home
eprover GitHub
3
Repos
0
Stars
0
Followers
0
Following
Pinned Repositories
eprover
Language:
C
127
9
0
24
JavaRes
Pedagogical first-order prover in Java
Language:
Java
1
3
0
1
PyRes
Pedagogical first-order prover in Python
Language:
Python
67
6
1
16
eprover's Repositories
eprover/
eprover
Language:
C
127
9
0
24
eprover/
PyRes
Pedagogical first-order prover in Python
Language:
Python
67
6
1
16
eprover/
JavaRes
Pedagogical first-order prover in Java
Language:
Java
1
3
0
1