Skip to content

[paper] P10 Round 3: basis-enrichment convergence argument#355

Merged
JonathanMace merged 1 commit into
mainfrom
p10-final-polish
Apr 5, 2026
Merged

[paper] P10 Round 3: basis-enrichment convergence argument#355
JonathanMace merged 1 commit into
mainfrom
p10-final-polish

[paper] P10 Round 3 fix: basis-enrichment convergence argument in app…

1f46258
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Consistency Check
succeeded Apr 5, 2026 in 54s