Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
program_logic
sts.v
Find file
Blame
History
Permalink
Add PersistentP instances for own(S).
· 121a4a75
Janno
authored
Oct 10, 2016
Initial proof by Jan-Oliver Kaiser, adapted by Robbert Krebbers.
121a4a75