Skip to content

Local pairing: the local landscape decides the elder pairing (Theorem LP, Conjecture LP=) - #180

Merged
12 commits merged into
mainfrom
claude/local-pairing-20260930
Oct 4, 2026
Merged

Local pairing: the local landscape decides the elder pairing (Theorem LP, Conjecture LP=)#180
12 commits merged into
mainfrom
claude/local-pairing-20260930

Local pairing: re-pin cited-only [RES] after Math-#183 landed (source…

49e2498
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar