Awesome Scala
Login
epfl-lara
/
stainless
0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
Apache License 2.0
Website
GitHub
Verification framework and tool for higher-order Scala programs
verification
inox
z3
scala
cvc4
proof-assistant
model-checking
smt
formal-methods
cvc5
Scala versions:
2.11
Project
1 Version
Badges
stainless-core
stainless-dotty
stainless-dotty-frontend
Show pre-release versions
Scala 2.11
Clear all filters
0
version found for
stainless-core
We can't find any release that matches all you criteria