Proving Algebraic Laws in Scala Using Stainless

Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.

Continue reading...