applied: Rocq and Lean re-proofs of APP-1 to APP-4 (WO 4.2, 3 of 3) - #84

applied: Rocq and Lean re-proofs of APP-1 to APP-4 (WO 4.2, 3 of 3)#84

hyperpolymath merged 1 commit into

mainhyperpolymath/mathesis:mainfrom

claude/mathesis-stage-3-reanchoring-s2qr20hyperpolymath/mathesis:claude/mathesis-stage-3-reanchoring-s2qr20Copy head branch name to clipboard