de.unruh
group de.unruh has published 3 artifact(s) with total 27 version(s)
Artifact
Num# versions published
Latest version
java-patterns
2
0.1.0
scala-isabelle_2.12
12
0.4.2
scala-isabelle_2.13
13
0.4.2