dominique-unruh / scala-isabelle   0.4.2

MIT License Website GitHub

A Scala library for controlling/interacting with Isabelle

Scala versions: 2.13 2.12

scala-isabelle

Found 14 versions
0.4.3-RC1
6 months ago
MIT
JVM:
2.13 2.12
0.4.2
1 year ago
MIT
JVM:
2.13 2.12
0.4.2-RC1
1 year ago
MIT
JVM:
2.13 2.12
0.4.1
2 years ago
MIT
JVM:
2.13 2.12
0.4.1-RC2
2 years ago
MIT
JVM:
2.13 2.12
0.4.1-RC1
2 years ago
MIT
JVM:
2.13 2.12
0.4.0
3 years ago
MIT
JVM:
2.13 2.12
0.4.0-RC1
3 years ago
MIT
JVM:
2.13 2.12
0.3.0
4 years ago
MIT
JVM:
2.13 2.12
0.3.0-RC1
4 years ago
MIT
JVM:
2.13 2.12
0.2.0
4 years ago
MIT
JVM:
2.13 2.12
0.2.0-RC2
4 years ago
MIT
JVM:
2.13 2.12
0.1.1-RC1
4 years ago
MIT
JVM:
2.13
0.1.0
4 years ago
MIT
JVM:
2.13 2.12