Skip to content

Kernel-prove the classical Euler brick witness - #288

Draft
DomTheDeveloper wants to merge 5 commits into
mainfrom
openai/prove-euler-brick-witness
Draft

Kernel-prove the classical Euler brick witness#288
DomTheDeveloper wants to merge 5 commits into
mainfrom
openai/prove-euler-brick-witness

fix: prove Euler brick equalities by positive-natural extensionality

2242a14
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar