Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
Iris
Repository
iris
iris.v
Find file
Blame
History
Permalink
Simplified some def's, proved more lemmas (box, composition of ghosts,
· a01925c4
Filip Sieczkowski
authored
Jun 04, 2014
more view-shifts), stated lemmas about hoare triples.
a01925c4