epfl-lara / stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

Apache License 2.0 Website GitHub

Verification framework and tool for higher-order Scala programs

Scala versions: 2.11
Found 3 artifacts
stainless-core 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
6 years ago
GPL-3.0
JVM:
2.11
stainless-dotty 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
6 years ago
GPL-3.0
JVM:
2.11
stainless-dotty-frontend 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
6 years ago
GPL-3.0
JVM:
2.11