Skip to content

Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii) - #29

Closed
hyperpolymath wants to merge 11 commits into
claude/cubical-compatiblefrom
claude/recheck-legs
Closed

Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)#29
hyperpolymath wants to merge 11 commits into
claude/cubical-compatiblefrom
claude/recheck-legs

Commits

  1. Commits on Nov 9, 2026

  2. Commits on Nov 10, 2026