program_logic/counter_examples.v · 7b5cf8fe5273e9a75f8adebc8a9c466889721aff · Dan Frumin / iris-coq · GitLab

Snippets Groups Projects

"...heap_lang/git-rts@gitlab.mpi-sws.org:LukeXuan/iris.git" did not exist on "2855d1f527caedf570e7c56f08e9dc8418cda5ce"

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
7b5cf8fe
show that even \later^n False is inconsistent (for any fixed n); properly use... · 7b5cf8fe
Ralf Jung authored 8 years ago
```
show that even \later^n False is inconsistent (for any fixed n); properly use pvs in counter_examples
```
7b5cf8fe

History
show that even \later^n False is inconsistent (for any fixed n); properly use...
Ralf Jung authored 8 years ago
```
show that even \later^n False is inconsistent (for any fixed n); properly use pvs in counter_examples
```