Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
heap_lang
adequacy.v
Find file
Blame
History
Permalink
shorten heap_lang/adequacy proof
· 2f6b8a24
Ralf Jung
authored
Oct 12, 2016
2f6b8a24