dominique-unruh/scala-isabelle

A Scala library for controlling/interacting with Isabelle

语言：Scala · GitHub 星标：43 · Fork：9

话题：isabelle · scala · theorem-proving

在 GitHub 上查看原仓库