theories/base_logic/lib/counter_examples.v · 60df6185a571f9df95810f7144e0a68197acdbaf · Abhishek Anand / Iris

Forked from Iris / Iris

Source project has a limited visibility.

7 years ago

Now that we have the plain modality, we can get rid of the basic updates
in the soundness statement.

60df6185

Robbert Krebbers authored 7 years ago

Now that we have the plain modality, we can get rid of the basic updates
in the soundness statement.