proof(L1.G): strengthen T_Var_*_L1 with region well-formedness (§4.8 path 3)#170

hyperpolymath merged 1 commit into

proof/l1-region-threading-designhyperpolymath/ephapax:proof/l1-region-threading-designfrom

proof/l1g-strengthen-var-ruleshyperpolymath/ephapax:proof/l1g-strengthen-var-rulesCopy head branch name to clipboard