Dedekind Numbers Closed Form#3513

Open

aryanamol10 wants to merge 11 commits intogoogle-deepmind:mainfrom

aryanamol10:fixdocstring

Commits on Mar 10, 2026

Commits on Mar 12, 2026

Merge branch 'main' into fixdocstring
aryanamol10
authored

Commits on Mar 13, 2026

Updated syntax error for operator summation formula
aryanamol10
committed
Merge branch 'fixdocstring' of https://github.com/aryanamol10/formal-conjectures into fixdocstring
aryanamol10
committed

Commits on Mar 14, 2026

Merge branch 'main' into fixdocstring
aryanamol10
authored

Commits on Mar 17, 2026

Merge branch 'main' into fixdocstring
aryanamol10
authored