program_logic/namespace.v · a64118a2cef8359bf4205cd9a99c04e13c99bcbf · Tej Chajed / iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
program_logic
namespace.v

Blame Permalink

Feb 09, 2016
a64118a2

prove pvs_alloc, modulo the closure under suffixes being infinite · a64118a2
Ralf Jung authored Feb 09, 2016

a64118a2

prove pvs_alloc, modulo the closure under suffixes being infinite
Ralf Jung authored Feb 09, 2016

Loading