Awesome Scala
Login
larsrh
/
libisabelle
1.0.1
Apache License 2.0
GitHub
A Scala library which talks to Isabelle (DISCONTINUED)
isabelle
scala
Scala versions:
2.12
2.11
Project
Artifacts
40 Versions
Badges
2.12
2.11
2.10
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.3
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
pide-2016-1-RC2
0.6.3
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
libisabelle-cli
0.3.4
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
pide-2015
0.3.4
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
pide-2014
0.2.3
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