3 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    ghostdogpr/purelogic   0.2.1

    Direct-style pure domain logic for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.5
    46 4
  2. project logo

    uuverifiers/princess   2025-11-17

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    34 6
  3. project logo

    leoprover/scala-tptp-parser   1.7.4

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

    Scala versions: 2.13
    6 2