Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
Proving Algebraic Laws in Scala Using Stainless
Timeline words data
Options
Restore all
Clear all
