HvdH machine lemma ST.envP_spec (The recursive step, part 7: `envP` (environment + `exCore` + teardown))

Initializing...

HvdH machine lemma ST.envP_spec (The recursive step, part 7: `envP` (environment + `exCore` + teardown)) · Prove2Me