Skip to content

Experiment: encode the five-vertex Erdős 23 case - #276

Draft
DomTheDeveloper wants to merge 2 commits into
mainfrom
openai/prove-erdos23-n1-kernel
Draft

Experiment: encode the five-vertex Erdős 23 case#276
DomTheDeveloper wants to merge 2 commits into
mainfrom
openai/prove-erdos23-n1-kernel

ci: audit the five-vertex Erdos 23 kernel proof

8508d8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar