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)
formal-methods (1)
inox (1)
leon (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
leon
cvc4
verification
formal-methods
scala
z3
inox
smt
347
34
1
(current)