Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
program_logic
adequacy.v
Find file
Blame
History
Permalink
Use consistent meta variables for `wp_invariance`.
· d4d61110
Robbert Krebbers
authored
Jun 15, 2019
d4d61110