Kernel-prove the larger unitary-perfect examples - #273

Kernel-prove the larger unitary-perfect examples#273

DomTheDeveloper wants to merge 3 commits into

mainDomTheDeveloper/formal-conjectures:mainfrom

openai/prove-unitary-perfect-examplesDomTheDeveloper/formal-conjectures:openai/prove-unitary-perfect-examplesCopy head branch name to clipboard