Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
program_logic
ectx_lifting.v
Find file
Blame
History
Permalink
Define type pbit for readable adequacy lemmas.
· e2d12989
David Swasey
authored
Dec 21, 2016
e2d12989