Download de.unruh JAR files with all dependencies
scala-isabelle_2.12 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.
0 downloads
Artifact scala-isabelle_2.12
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.12, slf4j-simple, commons-io, scalaz-core_2.12, 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
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.12, slf4j-simple, commons-io, scalaz-core_2.12, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive 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.
0 downloads
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
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
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!
java-patterns from group de.unruh (version 0.1.0)
Functional pattern matching in Java
Artifact java-patterns
Group de.unruh
Version 0.1.0
Last update 04. October 2020
Organization not specified
URL https://github.com/dominique-unruh/java-patterns
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.unruh
Version 0.1.0
Last update 04. October 2020
Organization not specified
URL https://github.com/dominique-unruh/java-patterns
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)