overlogged / sbt-stainless   0.2.0

Apache License 2.0 GitHub

A sbt plugin for stainless users to verify code in sbt command line.

Latest version

[![sbt-stainless Scala version support](https://index.scala-lang.org/overlogged/sbt-stainless/sbt-stainless/latest.svg)](https://index.scala-lang.org/overlogged/sbt-stainless/sbt-stainless)

JVM badge

[![sbt-stainless Scala version support](https://index.scala-lang.org/overlogged/sbt-stainless/sbt-stainless/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/overlogged/sbt-stainless/sbt-stainless)