An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Jacques-Henri Jourdan
authored
Prove that uPred is complete even if we remove the validity restriction in uPred_closed. See merge request FP/iris-coq!99
| Name | Last commit | Last update |
|---|