A Scala library which talks to Isabelle (DISCONTINUED)

20 versions found for pide-package
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12