Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris.v
Find file
Blame
History
Permalink
add and almost prove the soundness (adequacy) theorem as it appears in the writeup
· 23b0e16b
Ralf Jung
authored
Jul 06, 2014
23b0e16b