uuverifiers / princess   2025-11-17

GitHub

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11

princess

Found 16 versions
2025-11-17
3 months ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2025-06-25
8 months ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2025-04-01
10 months ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2024-11-08
1 year ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2024-03-22
1 year ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2024-01-12
2 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2023-06-19
2 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2023-04-07
2 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2022-11-03
3 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2022-07-01
3 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2022-03-16
3 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2021-11-15
4 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2021-08-12
4 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2021-06-28
4 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2021-05-10
4 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
2021-04-09
4 years ago
BSD-3-Clause
JVM:
2.13 2.12 2.11