Skip to content

Kernel-prove the base van der Waerden values - #275

Draft
DomTheDeveloper wants to merge 3 commits into
mainfrom
openai/prove-vdw-base-values
Draft

Kernel-prove the base van der Waerden values#275
DomTheDeveloper wants to merge 3 commits into
mainfrom
openai/prove-vdw-base-values

ci: build the registered van der Waerden proof module

69ba9d0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar