喵喵小喵喵 dan repost
https://epfl-lara.github.io/stainless/intro.html
The Stainless verification framework aims to help developers build verified Scala software. It encourages using a small set of core Scala features and provides unique verification functionality
The Stainless verification framework aims to help developers build verified Scala software. It encourages using a small set of core Scala features and provides unique verification functionality