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
leon
formal-methods
inox
cvc4
scala
smt
z3
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