epfl-lara/stainless Issues
Convert throw into assert(false)
Closed 7IArray support
Closed 1Size of type parameters
UpdatedSupport for CVC5
Closed 1Slowness of `ValueClasses`
Closed 1Crash when using --watch
Closed
Verification framework and tool for higher-order Scala programs