/sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)

Primary LanguageScalaApache License 2.0Apache-2.0

Stargazers