search

dominique-unruh / scala-isabelle

A Scala library for controlling/interacting with Isabelle
https://dominique-unruh.github.io/scala-isabelle
MIT License
37 stars 7 forks source link

Added JIsabelle.setupSetLogic method. #11

Closed mi-ki closed 1 year ago

mi-ki commented 1 year ago

Resolves #10 .