Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Perform a simpl after wp_apply.
· 98f73a0b
Robbert Krebbers
authored
Jan 20, 2017
wp_apply often results in an of_val that should be simplified.
98f73a0b