Repository navigation

proof(formal): close preservation theorem — zero Admitted - #35

Merged

hyperpolymath merged 4 commits into

mainfrom

proof/close-preservation-admits

Apr 27, 2026

Merged

proof(formal): close preservation theorem — zero Admitted#35
hyperpolymath merged 4 commits into
mainfrom
proof/close-preservation-admits

Commits on Apr 27, 2026
- proof(formal): close preservation theorem — zero Admitted
  
  hyperpolymath
  and
  claude
  committed
  4456841
- chore(meta): add 6a2 + contractile infrastructure
  
  hyperpolymath
  and
  claude
  committed
  e483643
- docs(formal): correct proof-status comment — preservation is Qed not partial
  
  hyperpolymath
  and
  claude
  committed
  cc5d996
- chore(formal): gitignore coq_makefile build artifacts; refine preservation tactic
  
  hyperpolymath
  and
  claude
  committed
  20cf3f5