Prove SLELowerPositivity (openai/math family 230: Exact Hausdorff measure for SLE) in Lean 4 with Mathlib…
Prove SLELowerPositivity (openai/math family 230: Exact Hausdorff measure for SLE) in Lean 4 with Mathlib…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 230 of the release, Exact Hausdorff measure for SLE (Probability and statistical…
The task
Context: this statement belongs to family 230 of the release, *Exact Hausdorff measure for SLE* (Probability and statistical mechanics). The family as a whole: Resolves Schramm’s Hausdorff-measure question for chordal $\mathrm{SLE}_\kappa$, $0<\kappa<8$. The explicit gauge $r^d(\log\log(1/r))^{(2-d)/2}$,…
Part of raising-heart/openai-math.