Skip to content

Re-audit the full Erdős 625 TeX and specify the corrected Version 2 proof - #44

Draft
SamPetkov wants to merge 6 commits into
agent/625-value-upgrade-programfrom
agent/625-full-tex-mathematical-reaudit
Draft

Re-audit the full Erdős 625 TeX and specify the corrected Version 2 proof#44
SamPetkov wants to merge 6 commits into
agent/625-value-upgrade-programfrom
agent/625-full-tex-mathematical-reaudit

Make high-precision coefficient checks rounding-safe

d61a8f7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar