#

multiplicative-sidon-sets

Here is 1 public repository matching this topic...

rishigajjala / erdos-796-lean

Lean 4 formalization of the corrected Erdős Problem 796, proving the second-order asymptotic and explicit kernel-checked bounds.

formal-verification number-theory mathlib lean4 erdos-problems extremal-combinatorics multiplicative-sidon-sets

Updated Jul 15, 2026
Lean

Improve this page

Add a description, image, and links to the multiplicative-sidon-sets topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the multiplicative-sidon-sets topic, visit your repo's landing page and select "manage topics."