Skip to content

Replay the Erdős 12 prime-square good-set proof - #289

Draft
DomTheDeveloper wants to merge 1 commit into
mainfrom
openai/audit-erdos12-good-example
Draft

Replay the Erdős 12 prime-square good-set proof#289
DomTheDeveloper wants to merge 1 commit into
mainfrom
openai/audit-erdos12-good-example

ci: replay the Erdős 12 prime-square example

b43b12d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar