Skip to content

proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG - #32

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/serene-sagan-un5t4q
Nov 10, 2026
Merged

proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG#32
hyperpolymath merged 2 commits into
mainfrom
claude/serene-sagan-un5t4q

Merge origin/main into serene-sagan (#32): keep this PR's cubical-com…

023a84e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar