Skip to content

feat(Geometry): Klartag's asymptotic lower bound on lattice sphere packing constant - #522

Open
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:KlartagPacking
Open

feat(Geometry): Klartag's asymptotic lower bound on lattice sphere packing constant#522
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:KlartagPacking

Conversation

@alreadydone

Copy link
Copy Markdown
Contributor

No description provided.

@alreadydone alreadydone changed the title feat(Geometry): Klartag's lower bound on lattice sphere packing constant feat(Geometry): Klartag's asymptotic lower bound on lattice sphere packing constant Aug 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant