larsrh / sbt-libisabelle   0.6.1

Apache License 2.0 Website GitHub

sbt helper for libisabelle (DISCONTINUED)

Scala versions: 2.12
sbt plugins: 1.x
Found 1 artifact
sbt-libisabelle 0.6.1
7 years ago
Apache-2.0
sbt 1.x:
2.12