feat(combinatorics): verify submitted P-recursive tables - #1285

Merged

morluto merged 7 commits into

mainfrom

agent/port-p-recursive-table-residuals-v2

Aug 13, 2026

Commits on Aug 12, 2026

feat(combinatorics): verify submitted P-recursive tables
morluto
committed
d8e4786

Commits on Aug 13, 2026

Merge current main into P-recursive table port
morluto
authored
92d180b
Merge latest main into P-recursive table port
morluto
authored
e5a94c3
style(combinatorics): order recurrence checker imports
morluto
committed
8f6d32b
Merge current main into P-recursive table port
morluto
committed
5125112
Merge remote-tracking branch 'origin/main' into HEAD
morluto
committed
1ebdccb
fix(ci): format recurrence table checker
morluto
committed
402c28a