feat(rsr+proofs): tropical RSR Bronze (42%→77%) + Lean verified 20/20 + PROOF-STATUS#24

hyperpolymath merged 2 commits into

mainhyperpolymath/tropical-types:mainfrom

claude/hopeful-babbage-pn0l4ohyperpolymath/tropical-types:claude/hopeful-babbage-pn0l4oCopy head branch name to clipboard