Skip to content

Kernel-prove the exact value M(2)=1 - #274

Draft
DomTheDeveloper wants to merge 3 commits into
mainfrom
openai/prove-minimum-overlap-two
Draft

Kernel-prove the exact value M(2)=1#274
DomTheDeveloper wants to merge 3 commits into
mainfrom
openai/prove-minimum-overlap-two

ci: build the registered M(2) proof module

b7ed2e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar