Skip to content
Snippets Groups Projects
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