eprover

Popular repositories Loading

eprover eprover Public

C 168 32
PyRes PyRes Public

Pedagogical first-order prover in Python

Python 83 17
PyCheck PyCheck Public

PyCheck is a simple proof checker for TPTP/TSTP proofs in FOF/CNF

Python 3
JavaRes JavaRes Public

Pedagogical first-order prover in Java

Java 1 1

Type Language Sort

eprover Public

eprover/eprover's past year of commit activity

C 168 32 0 5 Updated Aug 5, 2026
PyCheck Public
PyCheck is a simple proof checker for TPTP/TSTP proofs in FOF/CNF

eprover/PyCheck's past year of commit activity

Python 3 GPL-2.0 0 0 0 Updated Jul 27, 2026
PyRes Public
Pedagogical first-order prover in Python

eprover/PyRes's past year of commit activity

Python 83 GPL-2.0 17 0 0 Updated Jun 10, 2025
JavaRes Public
Pedagogical first-order prover in Java

eprover/JavaRes's past year of commit activity

Java 1 GPL-2.0 1 0 0 Updated Dec 15, 2019

Loading…

Loading…