Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
algebra
sts.v
Find file
Blame
History
Permalink
*finally* arrive at the weakening for STS state asswrtions that we need
· 48d0c51a
Ralf Jung
authored
Feb 15, 2016
Turns out it only holds as a view shift, not as an implication
48d0c51a