Skip to content
GitLab
Explore
Sign in
Jan
iris-coq
Repository
iris-coq
theories
tests
heap_lang.v
Find file
Blame
History
Permalink
Define type pbit for readable adequacy lemmas.
· e2d12989
David Swasey
authored
Dec 21, 2016
e2d12989