4 ms·
Stainless [0] does this well for Scala. You augment function definitions and return statements with `require()` and `assert()` respectivley. [0] https://stainl
by dhash 6y ago
Stainless [0] does this well for Scala. You augment function definitions and return statements with `require()` and `assert()` respectivley.
[0] https://stainless.epfl.ch/ https://stainless.epfl.ch/