scala-isabelle

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 README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.

License	MIT Isabelle
Categories	Scala Languages
GroupId	de.unruh
ArtifactId	scala-isabelle_2.13
Last Version	0.4.0
Release Date	Dec 28, 2021
Type	jar
Description	scala-isabelle 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 README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.
Project URL	https://github.com/dominique-unruh/scala-isabelle
Project Organization	de.unruh
Source Code Management	https://github.com/dominique-unruh/scala-isabelle

Download scala-isabelle_2.13

Filename	Size
scala-isabelle_2.13-0.4.0.pom
scala-isabelle_2.13-0.4.0.jar	352 KB
scala-isabelle_2.13-0.4.0-sources.jar	79 KB
scala-isabelle_2.13-0.4.0-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/ -->
<dependency>
    <groupId>de.unruh</groupId>
    <artifactId>scala-isabelle_2.13</artifactId>
    <version>0.4.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation 'de.unruh:scala-isabelle_2.13:0.4.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation ("de.unruh:scala-isabelle_2.13:0.4.0")

Apache Buildr

'de.unruh:scala-isabelle_2.13:jar:0.4.0'

Apache Ivy

<dependency org="de.unruh" name="scala-isabelle_2.13" rev="0.4.0">
  <artifact name="scala-isabelle_2.13" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.unruh', module='scala-isabelle_2.13', version='0.4.0')
)

Scala SBT

libraryDependencies += "de.unruh" % "scala-isabelle_2.13" % "0.4.0"

Leiningen

[de.unruh/scala-isabelle_2.13 "0.4.0"]

Dependencies

compile (10)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.7
de.unruh : java-patterns	jar	0.1.0
org.log4s : log4s_2.13	jar	1.10.0
org.slf4j : slf4j-simple	jar	1.7.32
commons-io : commons-io	jar	2.11.0
org.scalaz : scalaz-core_2.13	jar	7.3.5
org.apache.commons : commons-lang3	jar	3.12.0
org.apache.commons : commons-text	jar	1.9
com.google.guava : guava	jar	31.0.1-jre
org.jetbrains : annotations	jar	23.0.0

test (3)

Group / Artifact	Type	Version
org.scala-lang : scala-compiler	jar	2.13.7
com.vladsch.flexmark : flexmark-all	jar	0.62.2
org.scalatest : scalatest_2.13	jar	3.2.10

Project Modules

There are no modules declared in this project.

Versions

Version
0.4.0 Dec 28, 2021
0.4.0-RC1 Dec 18, 2021
0.3.0 Nov 5, 2020
0.3.0-RC1 Oct 27, 2020
0.2.0 Oct 1, 2020
0.2.0-RC2 Sep 27, 2020
0.1.1-RC1 Sep 27, 2020
0.1.0 Sep 21, 2020