Skip to content

feat: preserve the completed zeta(5) irrationality formalization - #540

Merged
Vilin97 merged 11 commits into
mainfrom
codex/daily-zeta5-20260927-optimized
Sep 27, 2026
Merged

feat: preserve the completed zeta(5) irrationality formalization#540
Vilin97 merged 11 commits into
mainfrom
codex/daily-zeta5-20260927-optimized

Merge remote-tracking branch 'origin/main' into codex/daily-zeta5-202…

c0b7f36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar