JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 0.4.0 →

de.unruh:scala-isabelle_2.13 0.1.0

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.

Категории

Категории

Scala Языки программирования
Группа

Группа

de.unruh
Идентификатор

Идентификатор

scala-isabelle_2.13
Версия

Версия

0.1.0
Тип

Тип

jar

Скачать scala-isabelle_2.13 0.1.0

Имя Файла Размер
scala-isabelle_2.13-0.1.0.pom
scala-isabelle_2.13-0.1.0.jar 319 KB
scala-isabelle_2.13-0.1.0-sources.jar 58 KB
scala-isabelle_2.13-0.1.0-javadoc.jar 1 MB
Обзор 

<!-- https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/ -->
<dependency>
    <groupId>de.unruh</groupId>
    <artifactId>scala-isabelle_2.13</artifactId>
    <version>0.1.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation 'de.unruh:scala-isabelle_2.13:0.1.0'
// https://jarcasting.com/artifacts/de.unruh/scala-isabelle_2.13/
implementation ("de.unruh:scala-isabelle_2.13:0.1.0")
'de.unruh:scala-isabelle_2.13:jar:0.1.0'
<dependency org="de.unruh" name="scala-isabelle_2.13" rev="0.1.0">
  <artifact name="scala-isabelle_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.unruh', module='scala-isabelle_2.13', version='0.1.0')
)
libraryDependencies += "de.unruh" % "scala-isabelle_2.13" % "0.1.0"
[de.unruh/scala-isabelle_2.13 "0.1.0"]