An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Ralf Jung
authored
add a version of [cancel] that works with goals of the form [_ |- pvs _]; and use that for the barrier proof
| Name | Last commit | Last update |
|---|