andriusvelykis/isabelle-scala

A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.

语言：Scala · GitHub 星标：15 · Fork：2

在 GitHub 上查看原仓库