Skip to content
@eprover

eprover

Popular repositories Loading

  1. eprover eprover Public

    C 137 25

  2. PyRes PyRes Public

    Pedagogical first-order prover in Python

    Python 75 16

  3. JavaRes JavaRes Public

    Pedagogical first-order prover in Java

    Java 1 1

Repositories

Showing 3 of 3 repositories
  • PyRes Public

    Pedagogical first-order prover in Python

    Python 75 GPL-2.0 16 0 0 Updated Mar 25, 2025
  • eprover Public
    C 137 25 0 3 Updated Mar 20, 2025
  • JavaRes Public

    Pedagogical first-order prover in Java

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

Top languages

Loading…

Most used topics

Loading…