License |
License |
---|---|
Categories |
CategoriesScala Languages |
GroupId | GroupIdde.unruh |
ArtifactId | ArtifactIdscala-isabelle_2.13 |
Last Version | Last Version0.4.0 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionscala-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 |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
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 |
Browse |
<!-- 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>
// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation 'de.unruh:scala-isabelle_2.13:0.4.0'
// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation ("de.unruh:scala-isabelle_2.13:0.4.0")
'de.unruh:scala-isabelle_2.13:jar:0.4.0'
<dependency org="de.unruh" name="scala-isabelle_2.13" rev="0.4.0">
<artifact name="scala-isabelle_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.unruh', module='scala-isabelle_2.13', version='0.4.0')
)
libraryDependencies += "de.unruh" % "scala-isabelle_2.13" % "0.4.0"
[de.unruh/scala-isabelle_2.13 "0.4.0"]
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 |
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 |