Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
program_logic
lifting.v
Find file
Blame
History
Permalink
Simplify proof of `wp_lift_step_fupd`.
· 225cac4f
Robbert Krebbers
authored
Apr 06, 2020
225cac4f