4.0.0 de.unruh scala-isabelle_2.13 jar This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc. See the webpage (https://dominique-unruh.github.io/scala-isabelle) for more information. https://dominique-unruh.github.io/scala-isabelle 0.4.2 MIT https://raw.githubusercontent.com/dominique-unruh/scala-isabelle/5f28d8e6248f39dd7a31649d92c9850498e3985c/LICENSE repo Isabelle https://raw.githubusercontent.com/dominique-unruh/scala-isabelle/5f28d8e6248f39dd7a31649d92c9850498e3985c/COPYRIGHT.Isabelle repo scala-isabelle de.unruh https://dominique-unruh.github.io/scala-isabelle https://dominique-unruh.github.io/scala-isabelle https://github.com/dominique-unruh/scala-isabelle.git unruh Dominique Unruh https://www.ut.ee/~unruh/ dominique@unruh.de org.scala-lang scala-compiler 2.13.12 test org.scala-lang scala-library 2.13.12 de.unruh java-patterns 0.1.0 com.vladsch.flexmark flexmark-all 0.64.8 test org.scalatest scalatest_2.13 3.2.17 test org.log4s log4s_2.13 1.10.0 org.slf4j slf4j-simple 2.0.9 commons-io commons-io 2.13.0 org.scalaz scalaz-core_2.13 7.3.7 org.apache.commons commons-lang3 3.13.0 org.apache.commons commons-text 1.10.0 com.google.guava guava 32.1.2-jre org.jetbrains annotations 24.0.1 com.ibm.icu icu4j 73.2