Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
base_logic
lib
cancelable_invariants.v
Find file
Blame
History
Permalink
Added a stronger version of cinv_open_strong
· 27426fec
Jonas Kastberg
authored
Nov 05, 2019
and
Robbert Krebbers
committed
Nov 05, 2019
27426fec