Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
algebra
sts.v
Find file
Blame
History
Permalink
Make validity of STS fragments require a witness.
· 9c5a95d3
Janno
authored
Oct 10, 2016
Initial proof by Jan-Oliver Kaiser, adapted by Robbert Krebbers.
9c5a95d3