5 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    gapt/gapt

    GAPT: General Architecture for Proof Theory

    Scala versions: 2.13 2.12 2.11
    87 23
  2. project logo

    siddhartha-gadgil/provingground

    Proving Ground: Tools for Automated Mathematics

    Scala versions: 2.13 2.12
    200 10
  3. project logo

    dominique-unruh/scala-isabelle

    A Scala library for controlling/interacting with Isabelle

    Scala versions: 2.13 2.12
    32 4
  4. project logo

    uuverifiers/ostrich

    An SMT Solver for string constraints

    Scala versions: 2.13 2.12 2.11
    26 9
  5. project logo

    leoprover/scala-tptp-parser

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

    Scala versions: 2.13
    5 2