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

libisabelle

Found 33 versions
1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.0
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
0.9.3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
0.9.2
7 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
0.9.1
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11
0.9.0
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11
0.8.3
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.8.2
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.8.1
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.8.0
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.7.0
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.6
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.5
7 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.4
8 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.3
8 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.2
8 years ago
MIT BSD-3-Clause
JVM:
2.12 2.11 2.10
0.6.1
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.6
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.5
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.4
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.3.4
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.3.3
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.3.2
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.3.1
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.3
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.2.4
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.2.3
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.2.2
8 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.2.1
9 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.2
9 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.1.2
9 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.1.1
9 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10
0.1
9 years ago
MIT BSD-3-Clause
JVM:
2.11 2.10