Skip to content

Kernel-prove the weak Giuga prime-divisor criterion - #283

Draft
DomTheDeveloper wants to merge 4 commits into
mainfrom
openai/prove-weak-giuga-criterion
Draft

Kernel-prove the weak Giuga prime-divisor criterion#283
DomTheDeveloper wants to merge 4 commits into
mainfrom
openai/prove-weak-giuga-criterion

ci: replay the exact historical Giuga theorem

f2ad674
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar