Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
heap_lang
tests.v
Find file
Blame
History
Permalink
Tweak closed proof in heap_lang/tests.
· 88679d3e
Robbert Krebbers
authored
Feb 18, 2016
88679d3e