teorthPFR

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
#math #additive-combinatorics #information-theory
Displaying 1-1 of 1 packages depending on teorth/PFR
Sort by

  1. Shilun-Allan-Li/tCSlibusesv4.25.0

    Lean 4 Theoretical Computer Science Library