Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
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-03-22
The Princess Theorem Prover
Scala versions:
2.13
2.12
2.11
smt-lib
theorem-prover
logic
smt-solver
smt
21
5
1
(current)