API Doc
Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.11 (1)
Platforms
JVM (1)
Topics
cvc4 (1)
cvc5 (1)
formal-methods (1)
inox (1)
model-checking (1)
proof-assistant (1)
scala (1)
smt (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
1
(current)
