JD-Jones-ASESFsFormal1.0.0

Palomar-ready Lean formalization of an improved Furstenberg-Sarkozy lower bound
#mathematics #additive-combinatorics #palomar
Displaying 1-1 of 1 versions of FsFormal
Sort by
  1. 1.xVersion track: 1.x
    1.0.0
    16 days ago
    Released on August 26, 2026 at 9:46:23AM
    Commit 4e79656 builds on its recent leanprover/lean4:v4.33.0
    v4.33.0
    3.3 MB Build archive size: 3344593 bytes.