Skip to content

Audit the Erdős 625 manuscript line by line and theorem by theorem - #52

Draft
SamPetkov wants to merge 8 commits into
agent/625-sharp-deficit-product-expositionfrom
agent/625-line-by-line-theorem-audit-v2
Draft

Audit the Erdős 625 manuscript line by line and theorem by theorem#52
SamPetkov wants to merge 8 commits into
agent/625-sharp-deficit-product-expositionfrom
agent/625-line-by-line-theorem-audit-v2

Remove cosmetic phrase gate from literal audit checker

619f4cc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar