simondfoster

I am a lecturer at the University of York with interests in formal semantics, theorem proving, and cyber-physical systems.

University of YorkYork, United Kingdom

Pinned Repositories

Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
Language:Isabelle5 5 01
interaction-trees
Interactions Trees in Isabelle/HOL and a CSP model
Language:Isabelle6 12 21
Optics
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Language:Isabelle5 11 01
UTP
A refreshed and minimalist implementation of Isabelle/UTP
Language:Isabelle4 13 22
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Language:Isabelle34 13 710
Z_Toolkit
This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.
Language:Isabelle5 12 21
isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
Language:Python0 1 00
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:Scala0 1 00
mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
Language:Isabelle00
symphony
The Symphony IDE
Language:Java5 18 3064

simondfoster/isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
Language:Python0 1 00
simondfoster/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:Scala0 1 00
simondfoster/mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
Language:Isabelle00