overlogged/sbt-stainless
A sbt plugin for stainless users to verify code in sbt command line.
ScalaApache-2.0
No issues in this repository yet.
A sbt plugin for stainless users to verify code in sbt command line.
ScalaApache-2.0
No issues in this repository yet.