Giters
Simon Foster (simondfoster)

simondfoster

Geek Repo

11

followers

4

following

3

stars

Company:University of York

Location:York, United Kingdom

Home Page:https://www-users.cs.york.ac.uk/~simonf

Github PK Tool:Github PK Tool

Simon Foster's repositories

isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

Language:PythonLicense:EPL-1.0Stargazers:0Issues:1Issues:0

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.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mirror-afp-2021-1

Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1

Language:IsabelleStargazers:0Issues:0Issues:0