Skip to content

proof+design: verified counterexample + four-layer preservation redesign - #153

Closed
hyperpolymath wants to merge 19 commits into
mainfrom
proof/l1-region-threading-design
Closed

proof+design: verified counterexample + four-layer preservation redesign#153
hyperpolymath wants to merge 19 commits into
mainfrom
proof/l1-region-threading-design

proof(L1.G): convert Axiom region_liveness_at_split_l1 to Lemma with …

9f76e67
Select commit
Loading
Failed to load commit list.

There are no checks for this commit