Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Make `wp_apply` perform `wp_pure` in small steps until the lemma matches the goal.
· 63b05e9b
Robbert Krebbers
authored
Oct 27, 2020
63b05e9b