Skip to content

@eprover eprover

Change the repository type filter

All

    Repositories list

    3 repositories

    • eprover

      Public
      atpreasoningprover
      C
      •
      Other
      •25•132•0•2•Updated Nov 6, 2024Nov 6, 2024

    • PyRes

      Public
      Pedagogical first-order prover in Python
      Python
      •
      GNU General Public License v2.0
      •16•73•0•0•Updated Nov 5, 2024Nov 5, 2024

    • JavaRes

      Public
      Pedagogical first-order prover in Java
      Java
      •
      GNU General Public License v2.0
      •1•1•0•0•Updated Dec 15, 2019Dec 15, 2019