API Doc
Awesome Scala
Login
epfl-lara
/
inox
1.0
Apache License 2.0
GitHub
Solver for higher-order functional programs, used by Stainless
Scala versions:
2.12
Project
Artifacts
Versions
Badges
2.12
2.11
Found
1
artifact
inox
1.1.0
6 years ago
GPL-3.0
JVM:
2.11