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

Merge origin/main into recheck-legs after #32 was squash-merged

0ab5a4b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar