API Doc
Awesome Scala
Login
2 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (2)
Platforms
JVM (2)
Topics
cvc4 (1)
cvc5 (1)
formal-methods (1)
inox (1)
logic (1)
model-checking (1)
proof-assistant (1)
scala (1)
smt (2)
smt-lib (1)
smt-solver (1)
theorem-prover (1)
verification (1)
z3 (1)
epfl-lara/stainless
0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
Verification framework and tool for higher-order Scala programs
Scala versions:
2.11
model-checking
cvc4
verification
formal-methods
cvc5
z3
inox
smt
scala
proof-assistant
359
36
uuverifiers/princess
2024-11-08
The Princess Theorem Prover
Scala versions:
2.13
2.12
2.11
smt-lib
theorem-prover
logic
smt-solver
smt
22
5
1
(current)
