eprover

Popular repositoriesLoading

Showing 3 of 3 repositories

PyRes Public
Pedagogical first-order prover in Python
eprover/PyRes’s past year of commit activity
Python 75GPL-2.0 16 0 0 UpdatedMar 25, 2025
eprover Public
eprover/eprover’s past year of commit activity
C 137 25 0 3 UpdatedMar 20, 2025
JavaRes Public
Pedagogical first-order prover in Java
eprover/JavaRes’s past year of commit activity
Java 1GPL-2.0 1 0 0 UpdatedDec 15, 2019