Open
QED
Docs
Leaderboard
Sign in
Back to problems
Falconer Distance Conjecture
A set in R^d with Hausdorff dimension > d/2 has a distance set of positive measure.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute