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

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

DomTheDeveloper wants to merge 4 commits into

mainDomTheDeveloper/formal-conjectures:mainfrom

openai/prove-weak-giuga-criterionDomTheDeveloper/formal-conjectures:openai/prove-weak-giuga-criterionCopy head branch name to clipboard