Download all versions of scala-isabelle_2.13 JAR files with all dependencies
scala-isabelle_2.13 from group de.unruh (version 0.4.3-RC1)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.2)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.2
Last update 25. September 2023
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.2
Last update 25. September 2023
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.2-RC1)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.2-RC1
Last update 14. September 2023
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.2-RC1
Last update 14. September 2023
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.1)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.1
Last update 27. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.1
Last update 27. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.1-RC2)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.1-RC2
Last update 16. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.1-RC2
Last update 16. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.1-RC1)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.1-RC1
Last update 08. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.1-RC1
Last update 08. November 2022
Tags: allows process github code scala more this unruh isabelle control program inside theorems execute dominique library operate terms theories from information https webpage
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.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. See the README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.0
Last update 27. December 2021
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.0
Last update 27. December 2021
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.4.0-RC1)
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.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.0-RC1
Last update 17. December 2021
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Group de.unruh
Version 0.4.0-RC1
Last update 17. December 2021
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.3.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. See the README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.3.0
Last update 04. November 2020
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Group de.unruh
Version 0.3.0
Last update 04. November 2020
Tags: terms readme from scala more theories allows isabelle dominique https information control execute theorems code master process blob unruh program inside operate library this github
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
scala-isabelle_2.13 from group de.unruh (version 0.3.0-RC1)
<![CDATA[This library allows to control an <a href="https://isabelle.in.tum.de/">Isabelle</a> process from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc. See the <a href="https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md">README</a> for more information.]]>
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.3.0-RC1
Last update 27. October 2020
Tags: cdata terms readme from scala more theories allows isabelle dominique href https information control execute theorems code master process blob unruh program inside operate library github this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Group de.unruh
Version 0.3.0-RC1
Last update 27. October 2020
Tags: cdata terms readme from scala more theories allows isabelle dominique href https information control execute theorems code master process blob unruh program inside operate library github this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Page 1 from 2 (items total 14)