larsrh / libisabelle   1.0.1

Contributors Wanted Apache License 2.0 GitHub

A Scala library which talks to Isabelle (DISCONTINUED)

Scala versions: 2.12 2.11 2.10

Latest version

[![libisabelle Scala version support](https://index.scala-lang.org/larsrh/libisabelle/libisabelle/latest.svg)](https://index.scala-lang.org/larsrh/libisabelle/libisabelle)

JVM badge

[![libisabelle Scala version support](https://index.scala-lang.org/larsrh/libisabelle/libisabelle/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/larsrh/libisabelle/libisabelle)