Repository navigation

proofs: meet --cubical-compatible; retire waiver W-1 - #30

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/awesome-wright-va45xo

Nov 9, 2026

Merged

proofs: meet --cubical-compatible; retire waiver W-1#30
hyperpolymath merged 2 commits into
mainfrom
claude/awesome-wright-va45xo

Commits on Nov 9, 2026
- proofs: meet --cubical-compatible; retire waiver W-1
  claude
  committed
  b64974c
- proofs: cite the --cubical-compatible CI run; derive conformance from the flags
  claude
  committed
  fc20281