4 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    gapt/gapt

    GAPT: General Architecture for Proof Theory

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

    siddhartha-gadgil/provingground

    Proving Ground: Tools for Automated Mathematics

    Scala versions: 2.12 2.13
    195 0 10
  3. project logo

    dominique-unruh/scala-isabelle

    A Scala library for controlling/interacting with Isabelle

    Scala versions: 2.12 2.13
    20 3
  4. project logo

    uuverifiers/ostrich

    An SMT Solver for string constraints

    Scala versions: 2.11 2.12 2.13
    17 8