5 results
-
gapt/gapt 2.17.0
GAPT: General Architecture for Proof Theory
Scala versions: 3.x 2.13 -
siddhartha-gadgil/provingground 0.1.1
Proving Ground: Tools for Automated Mathematics
Scala versions: 2.13 -
dominique-unruh/scala-isabelle 0.4.2
A Scala library for controlling/interacting with Isabelle
Scala versions: 2.13 2.12 -
uuverifiers/ostrich 1.3.5
An SMT Solver for string constraints
Scala versions: 2.13 2.12 2.11 -
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