Repository navigation

Import the Erdős–Sós conjecture proof (Erdős Problem 548) - #452

Merged

Vilin97 merged 4 commits into

mainfrom

claude/daily-import-erdos548-2026-09-18

Sep 18, 2026

Merged

Import the Erdős–Sós conjecture proof (Erdős Problem 548)#452
Vilin97 merged 4 commits into
mainfrom
claude/daily-import-erdos548-2026-09-18

Commits on Sep 18, 2026
- Import the Erdős–Sós conjecture proof (Erdős Problem 548)
  
  Vilin97 automation
  and
  claude
  committed
  054ddd3
- Merge remote-tracking branch 'origin/main' into pr-452
  github-actions[bot]
  committed
  1260240
- Erdos548 card: state the hypotheses of the two supporting results
  
  Vilin97 automation
  and
  claude
  committed
  d800049
- Merge branch 'main' into claude/daily-import-erdos548-2026-09-18
  Vilin97
  authored
  c83d7ce