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