3 ms·
Formal Verification of Scala Programs with Stainless – Romain Ruetschi
- based2 7y agohttps://epfl-lara.github.io/smart/purescala.html https://epfl-lara.github.io/smart/purescala.html https://github.com/epfl-lara/inox https://github.com/epfl-lara/inox https://stainless.epfl.ch/ https://stainless.epfl.ch/