Skip to content

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

Merged
hyperpolymath merged 9 commits into
mainfrom
claude/recheck-legs
Nov 10, 2026
Merged

Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)#34
hyperpolymath merged 9 commits into
mainfrom
claude/recheck-legs

fix(legs): clear the 5 SonarCloud shell findings on #34

10cd016
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar