Repository navigation

proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably FALSE as stated - #342

Merged

hyperpolymath merged 1 commit into

mainfrom

proof/steppop-counterexample

Jul 6, 2026

Merged

proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably FALSE as stated#342
hyperpolymath merged 1 commit into
mainfrom
proof/steppop-counterexample

Commits on Jul 6, 2026
- proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably FALSE as stated (Qed counterexample)
  
  hyperpolymath
  and
  claude
  committed
  7e5f6dc