4 results
-
gapt/gapt
GAPT: General Architecture for Proof Theory
Scala versions: 2.11 2.12 2.13 -
siddhartha-gadgil/provingground
Proving Ground: Tools for Automated Mathematics
Scala versions: 2.12 2.13 -
dominique-unruh/scala-isabelle
A Scala library for controlling/interacting with Isabelle
Scala versions: 2.12 2.13 -
uuverifiers/ostrich
An SMT Solver for string constraints
Scala versions: 2.11 2.12 2.13