Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
base_logic
lib
viewshifts.v
Find file
Blame
History
Permalink
prove the view shift invariant accessor
· e2639ac1
Ralf Jung
authored
Jul 04, 2020
e2639ac1