MVN

de.unruh : scala-isabelle_2.13

Maven & Gradle

Nov 27, 2022

32 stars

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 webpage (https://dominique-unruh.github.io/scala-isabelle) for more information.

<!-- https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13 --><dependency>
    <groupId>de.unruh</groupId>
    <artifactId>scala-isabelle_2.13</artifactId>
    <version>0.4.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13implementation group: 'de.unruh', name: 'scala-isabelle_2.13', version: '0.4.1'

// https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13implementation 'de.unruh:scala-isabelle_2.13:0.4.1'

// https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13implementation("de.unruh:scala-isabelle_2.13:0.4.1")

// https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13libraryDependencies += "de.unruh" % "scala-isabelle_2.13" % "0.4.1"

<!-- https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13 --><dependency org="de.unruh" name="scala-isabelle_2.13" rev="0.4.1"/>

// https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13@Grapes(
    @Grab(group='de.unruh', module='scala-isabelle_2.13', version='0.4.1')
)

;; https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13[de.unruh/scala-isabelle_2.13 "0.4.1"]

# https://mavenlibs.com/maven/dependency/de.unruh/scala-isabelle_2.13'de.unruh:scala-isabelle_2.13:jar:0.4.1'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of de.unruh : scala-isabelle_2.13 to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.4.1
Latest Release Candidate: 0.4.1-RC2

All Versions

Choose a version of de.unruh : scala-isabelle_2.13 to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
0.4.x	scala-isabelle_2.13-0.4.1		Nov 27, 2022
scala-isabelle_2.13-0.4.1-RC2		Nov 16, 2022
scala-isabelle_2.13-0.4.1-RC1		Nov 08, 2022
scala-isabelle_2.13-0.4.0		Dec 27, 2021
scala-isabelle_2.13-0.4.0-RC1		Dec 17, 2021
0.3.x	scala-isabelle_2.13-0.3.0		Nov 04, 2020
scala-isabelle_2.13-0.3.0-RC1		Oct 27, 2020
0.2.x	scala-isabelle_2.13-0.2.0		Oct 01, 2020
scala-isabelle_2.13-0.2.0-RC2		Sep 27, 2020
0.1.x	scala-isabelle_2.13-0.1.1-RC1		Sep 27, 2020
scala-isabelle_2.13-0.1.0		Sep 21, 2020

Version

Vulnerabilities

Updated

0.4.x

scala-isabelle_2.13-0.4.1

Nov 27, 2022

scala-isabelle_2.13-0.4.1-RC2

Nov 16, 2022

scala-isabelle_2.13-0.4.1-RC1

Nov 08, 2022

scala-isabelle_2.13-0.4.0

Dec 27, 2021

scala-isabelle_2.13-0.4.0-RC1

Dec 17, 2021

0.3.x

scala-isabelle_2.13-0.3.0

Nov 04, 2020

scala-isabelle_2.13-0.3.0-RC1

Oct 27, 2020

0.2.x

scala-isabelle_2.13-0.2.0

Oct 01, 2020

scala-isabelle_2.13-0.2.0-RC2

Sep 27, 2020

0.1.x

scala-isabelle_2.13-0.1.1-RC1

Sep 27, 2020

scala-isabelle_2.13-0.1.0

Sep 21, 2020

How to add a dependency to Maven

Add the following de.unruh : scala-isabelle_2.13 maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>de.unruh</groupId>
    <artifactId>scala-isabelle_2.13</artifactId>
    <version>0.4.1</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.unruh : scala-isabelle_2.13 gradle dependency to your build.gradle file:

implementation 'de.unruh:scala-isabelle_2.13:0.4.1'

Gradle Kotlin DSL: Add the following de.unruh : scala-isabelle_2.13 gradle kotlin dependency to your build.gradle.kts file:

implementation("de.unruh:scala-isabelle_2.13:0.4.1")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.unruh : scala-isabelle_2.13 sbt scala dependency to your build.sbt file:

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

Dependencies from Group

java-patterns

@de.unruh

Oct 04, 2020

2 usages

0 stars

scala-isabelle_2.13

@de.unruh

Nov 27, 2022

32 stars

scala-isabelle_2.12

@de.unruh

Nov 27, 2022

32 stars

More Dependencies ❯

Discover Dependencies

scala-isabelle_2.12

@de.unruh

Nov 27, 2022

32 stars

waitfor-maven-plugin

@de.scravy

Sep 26, 2020

7 stars

spring-pug4j

@de.neuland-bfi

Jan 09, 2023

5 stars

VZD-Client

@de.gematik.ti.epa

Sep 25, 2020

2 stars

shamirs-lib

@de.christofreichardt

Jun 27, 2023

1 stars

compose-demos_2.13

@computer.hollis

Sep 24, 2020

0 stars

zoloz-api-sdk

@com.zoloz.api.sdk

Nov 10, 2022

4 stars

yoti-sdk-doc-scan-sup

@com.yoti.mobile.android.sdk

Jul 11, 2023

apisdk

@com.trustingsocial.apisdk

Sep 21, 2020

traitify-jersey2

@com.traitify

Sep 24, 2020

3 stars

More Dependencies ❯