Skip to content

Prove literal Dedekind formula declaration - #263

Draft
DomTheDeveloper wants to merge 7 commits into
mainfrom
openai/solve-dedekind-literal
Draft

Prove literal Dedekind formula declaration#263
DomTheDeveloper wants to merge 7 commits into
mainfrom
openai/solve-dedekind-literal

Make the Dedekind literal proof kernel-trivial

1ae43ff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar