Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
tests
heap_lang_proph.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