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
Found 1 artifact
scala-isabelle 0.4.2
1 year ago
MIT
JVM:
2.13 2.12