A Scala library which talks to Isabelle (DISCONTINUED)

16 versions found for libisabelle-setup
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