Repository navigation

NOTICE.extra.yml: attribution for the Köthe disproof import - #409

Merged

Vilin97 merged 15 commits into

mainfrom

claude/koethe-notice-attribution

Sep 11, 2026

Merged

NOTICE.extra.yml: attribution for the Köthe disproof import#409
Vilin97 merged 15 commits into
mainfrom
claude/koethe-notice-attribution

Commits on Sep 10, 2026
- Import the disproof of the Köthe conjecture (Krempa's matrix form)
  
  Vilin97
  and
  claude
  committed
  244f57d
- Match file headers to the upstream NOTICE copyright line (Tom Adamczewski / Epoch AI)
  
  Vilin97
  and
  claude
  committed
  f2200ee
- NOTICE.extra.yml: reproduce the upstream NOTICE of the Köthe disproof import
  
  Vilin97
  and
  claude
  committed
  ccd387f
- Regenerate NOTICE with the Köthe attribution
  
  Vilin97
  and
  claude
  committed
  e8c9a5a
- Merge remote-tracking branch 'origin/main' into pr-409
  github-actions[bot]
  committed
  e7d6323
- Merge main into the NOTICE attribution branch (Köthe files taken from main)
  Vilin97
  committed
  22eb9ff
- Merge remote-tracking branch 'origin/main' into pr-409
  github-actions[bot]
  committed
  ce1c308
- Merge remote-tracking branch 'origin/main' into pr-409
  github-actions[bot]
  committed
  7ee0486
Commits on Sep 11, 2026