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
cvc4
formal-methods
leon
scala
smt
z3
inox
verification
Scala versions:
2.11
Project
1 Version
Badges
stainless-core
stainless-dotty
stainless-dotty-frontend
2.11
Show pre-release versions
Scala 2.11
Show pre-release versions
Clear all filters
1
version found for
stainless-dotty
0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
6 years ago
GPL-3.0
JVM:
2.11