This library allows to control an Isabelle process from a Scala application.
This library allows to control an Isabelle process from a Scala application. For first steps and pointers, see the README.
In case of missing/incorrect documentation, create an issue.