larsrh/libisabelle

A Scala library which talks to Isabelle (DISCONTINUED)

语言：Scala · GitHub 星标：38 · Fork：8

话题：isabelle · scala

在 GitHub 上查看原仓库