3 results
-
chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Scala versions: 2.13 2.12 2.11 -
uuverifiers/ostrich
An SMT Solver for string constraints
Scala versions: 2.13 2.12 2.11 -
uuverifiers/princess
The Princess Theorem Prover
Scala versions: 2.13 2.12 2.11