Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
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