Search *

1 results

Contributing Search

Filters

Languages

Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (1)

Platforms

JVM (1)

Topics

logic (1)
smt (1)
smt-lib (1)
smt-solver (1)
theorem-prover (1)

uuverifiers/princess 2024-11-08

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11

smt-lib theorem-prover logic smt-solver smt

22 5