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
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
346
34
1
(current)