Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
vcgen
denv.v
Find file
Blame
History
Permalink
well-foundness relation for denv: many admitted lemmas, used in the vcg_wp correctness proof.
· 0dc74d32
Léon Gondelman
authored
Jun 22, 2018
0dc74d32