overlogged / sbt-stainless   0.2.0

Apache License 2.0 GitHub

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

Found 1 artifact
sbt-stainless 0.2.0
7 years ago
JVM:
Java