Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.12 (1)
Platforms
sbt 1.x (1)
Topics
libisabelle (1)
sbt-plugin (1)
scala (1)
larsrh/sbt-libisabelle
0.6.1
sbt helper for libisabelle (DISCONTINUED)
Scala versions:
2.12
sbt plugins:
1.0
libisabelle
sbt-plugin
scala
2
3
1
(current)