Skip to content
@eprover

eprover

Popular repositories Loading

  1. eprover eprover Public

    C 130 25

  2. PyRes PyRes Public

    Pedagogical first-order prover in Python

    Python 70 16

  3. JavaRes JavaRes Public

    Pedagogical first-order prover in Java

    Java 1 1

Repositories

Showing 3 of 3 repositories
  • eprover Public
    eprover/eprover’s past year of commit activity
    C 130 25 0 2 Updated Sep 14, 2024
  • PyRes Public

    Pedagogical first-order prover in Python

    eprover/PyRes’s past year of commit activity
    Python 70 GPL-2.0 16 0 0 Updated Jun 27, 2024
  • 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

Top languages

Loading…

Most used topics

Loading…