Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Define `Persistent P` as `P ⊢ □ P` instead of `□ P ⊣⊢ P`.
Robbert Krebbers authored 
Otherwise, ownership of cores in our ordered RA model will not be persistent.
96501a4f
History
user avatar 96501a4f
History
Name Last commit Last update