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
6 versions found for scala-isabelle
0.4.2
7 months ago
MIT
JVM:
2.13 2.12
0.4.1
1 year ago
MIT
JVM:
2.13 2.12
0.4.0
2 years ago
MIT
JVM:
2.13 2.12
0.3.0
3 years ago
MIT
JVM:
2.13 2.12
0.2.0
3 years ago
MIT
JVM:
2.13 2.12
0.1.0
3 years ago
MIT
JVM:
2.13 2.12