Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
Make `wp_apply` perform `wp_pure` in small steps until the lemma matches the goal.

See merge request iris/iris!587
a26cf167
History
Name Last commit Last update