Lean proofs of quantitative gcd-quotient bounds and sharp fixed-dimensional orders for Erdos 539; accompanying paper and verification.
Lean Updated 24 days ago 1 commits
omega-coder|Mirror: sarimsarfraz/erdos539-results (⭐0)
24 days agoAbout
Lean proofs of quantitative gcd-quotient bounds and sharp fixed-dimensional orders for Erdos 539; accompanying paper and verification.
Readme