Skip to content

Audit the explicit nine-point Erdős 100 construction - #284

Draft
DomTheDeveloper wants to merge 2 commits into
mainfrom
openai/audit-erdos100-piepmeyer
Draft

Audit the explicit nine-point Erdős 100 construction#284
DomTheDeveloper wants to merge 2 commits into
mainfrom
openai/audit-erdos100-piepmeyer

ci: extract Erdős 100 proof by declaration markers

ac6d0f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar