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