dominique-unruh / scala-isabelle   0.4.2

MIT License Website GitHub

A Scala library for controlling/interacting with Isabelle

Scala versions: 2.13 2.12

Latest version

[![scala-isabelle Scala version support](https://index-dev.scala-lang.org/dominique-unruh/scala-isabelle/scala-isabelle/latest.svg)](https://index-dev.scala-lang.org/dominique-unruh/scala-isabelle/scala-isabelle)

JVM badge

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