Repository navigation

Proof debt/standards 134 coq preservation admit - #119

Closed

hyperpolymath wants to merge 2 commits into

mainfrom

proof-debt/standards-134-coq-preservation-admit

Closed

Proof debt/standards 134 coq preservation admit#119
hyperpolymath wants to merge 2 commits into
mainfrom
proof-debt/standards-134-coq-preservation-admit

Commits on May 20, 2026
- fix(coq): mark preservation Admitted to restore rust-ci.yml Coq job (Refs standards#134)
  hyperpolymath
  committed
  e1a877a
- docs(coq): add PRESERVATION-HANDOFF.md with diagnosis of open goals
  hyperpolymath
  committed
  fc0f58f