Skip to content

C_47: lower bound 1.68550999 via a weighted lattice (Lean, registered on Palomar) - #192

Draft
CoolRmal wants to merge 2 commits into
teorth:mainfrom
CoolRmal:c47-lower-bound-weighted-lattice
Draft

C_47: lower bound 1.68550999 via a weighted lattice (Lean, registered on Palomar)#192
CoolRmal wants to merge 2 commits into
teorth:mainfrom
CoolRmal:c47-lower-bound-weighted-lattice

Shorten the C_47 row and drop the contribution note line

8c38d31
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs