Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Jacques-Henri Jourdan authored
Lifting lemmas : make the initial state appear under an existential under the view shift. This is still sound, but slightly more expressive.
76a7d9a2
History
Name Last commit Last update