An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.

Dan Frumin
authored
Instead of writing a separate tactic lemma for each pure reduction, there is a single tactic lemma for performing all of them. The instances of PureExec can be shared between WP tactics and, e.g. symbolic execution in the ghost threadpool
Name | Last commit | Last update |
---|