uuverifiers / princess   2025-06-25

GitHub

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11
Found 3 artifacts
princess 2025-06-25
2 days ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-parser 2025-06-25
2 days ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-smt-parser 2025-06-25
2 days ago
BSD-3-Clause
JVM:
2.13 2.12 2.11