marcinwrochna / scala-isabelle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dominique-unruh/scala-isabelle
A Scala library for controlling/interacting with Isabelle
Home Page: https://dominique-unruh.github.io/scala-isabelle
License: MIT License