GeezerVison — eprover

Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — eprover

Popular repositories Loading

eprover eprover Public

C 174 34
PyRes PyRes Public

Pedagogical first-order prover in Python

Python 84 18
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 2 1

Repositories

Loading

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C Java Python

Sort

Last updated Name Stars

Showing 4 of 4 repositories

eprover Public

Uh oh!

There was an error while loading. Please reload this page.

eprover/eprover's past year of commit activity

C 174 34 0 4 Updated Nov 12, 2026
PyCheck Public
PyCheck is a simple proof checker for TPTP/TSTP proofs in FOF/CNF

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

eprover/PyRes's past year of commit activity

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

Uh oh!

There was an error while loading. Please reload this page.

eprover/JavaRes's past year of commit activity

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

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.