2 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    uuverifiers/princess   2024-11-08

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    22 5
  2. project logo

    leoprover/scala-tptp-parser   1.7.1

    A parser for the TPTP logic languages for automated theorem proving written in Scala

    Scala versions: 2.13
    5 2