uuverifiers / princess   2024-11-08

GitHub

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11
Found 3 artifacts
princess 2024-11-08
1 month ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-parser 2024-11-08
1 month ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
princess-smt-parser 2024-11-08
1 month ago
BSD-3-Clause
JVM:
2.13 2.12 2.11