larsrh / libisabelle   1.0.1

Contributors Wanted Apache License 2.0 GitHub

A Scala library which talks to Isabelle (DISCONTINUED)

Scala versions: 2.12 2.11
Found 24 artifacts
pide-2019-RC4 1.1.0-RC3
5 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2019-RC0 1.1.0-RC2
5 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
isabellectl 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
libisabelle 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
libisabelle-docs 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
libisabelle-setup 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2017 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-interface 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-package 1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018-RC2 1.0.0-RC3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018-RC3 1.0.0-RC3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018-RC4 1.0.0-RC3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018-RC0 1.0.0-RC2
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2018-RC1 1.0.0-RC2
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-dependencies 1.0.0-RC1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2016 0.9.3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2016-1 0.9.3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
pide-2016-1-RC1 0.6
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
pide-2016-1-RC2 0.6.3
8 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
libisabelle-cli 0.5
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
pide-2015 0.5
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
pide-2014 0.2
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
pide-2016-RC0 0.2.3
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10