Simon Foster's repositories
isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
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.
mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
Language:Isabelle000