proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model - #332

proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model#332

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

claude/v2-grammar-proofs-audit-5lubzchyperpolymath/ephapax:claude/v2-grammar-proofs-audit-5lubzcCopy head branch name to clipboard