Awesome Scala
Login
dominique-unruh
/
scala-isabelle
0.4.2
MIT License
Website
GitHub
A Scala library for controlling/interacting with Isabelle
isabelle
scala
theorem-proving
Scala versions:
2.13
2.12
Project
13 Versions
Badges
scala-isabelle
2.13
2.12
Show pre-release versions
Scala 2.12
Clear all filters
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