Latest version
[![stainless-dotty Scala version support](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty/latest.svg)](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty)
JVM badge
[![stainless-dotty Scala version support](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty)