uuverifiers / princess   2025-04-01

GitHub

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11
Found 3 artifacts
princess 2025-04-01
19 hours ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-parser 2025-04-01
19 hours ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-smt-parser 2025-04-01
19 hours ago
BSD-3-Clause
JVM:
2.13 2.12 2.11