Repository navigation

NOTICE.extra.yml: attribution for the Erdős–Sós (#548) import - #453

Merged

Vilin97 merged 1 commit into

mainfrom

claude/erdos548-notice-attribution

Sep 18, 2026

Merged

NOTICE.extra.yml: attribution for the Erdős–Sós (#548) import#453
Vilin97 merged 1 commit into
mainfrom
claude/erdos548-notice-attribution

Commits on Sep 18, 2026
- NOTICE.extra.yml: attribution for the Erdős–Sós (#548) import
  
  Vilin97 automation
  and
  claude
  committed
  a5cc1ed