5 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    gapt/gapt   2.17.0

    GAPT: General Architecture for Proof Theory

    Scala versions: 3.x 2.13
    94 24
  2. project logo

    siddhartha-gadgil/provingground   0.1.1

    Proving Ground: Tools for Automated Mathematics

    Scala versions: 2.13
    203 10
  3. project logo

    dominique-unruh/scala-isabelle   0.4.2

    A Scala library for controlling/interacting with Isabelle

    Scala versions: 2.13 2.12
    36 4
  4. project logo

    uuverifiers/ostrich   1.4.1

    An SMT Solver for string constraints

    Scala versions: 2.13 2.12 2.11
    34 8
  5. 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