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

Commits

  1. Commits on Nov 9, 2026

  2. Commits on Nov 10, 2026