Geeks
dominique-unruh
/
scala-isabelle
A Scala library for controlling/interacting with Isabelle
Primary Language
Scala
MIT License
MIT
scala-isabelle Home Page
scala-isabelle GitHub
Markdown
Readme
10
Issues
37
Stargazers
4
Watchers
Watchers
dominique-unruh
RWTH Aachen, University of Tartu
jhcloos
mi-ki
Karlsruhe Institute of Technology (KIT)
ozf
Software Square, Byte Town, Logicstate, Computronia