API Doc
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
smt
cvc5
model-checking
formal-methods
scala
z3
inox
cvc4
verification
proof-assistant
Scala versions:
2.11
Project
Artifacts
Versions
Badges
2.11
stainless-dotty-frontend
stainless-core
stainless-dotty
stainless-dotty-frontend
Found
1
version
0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
6 years ago
GPL-3.0
JVM:
2.11