GitHub repository: teorth/pfr
Primary language: Lean
Created: 2023-11-12T23:57:48Z
Description: Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)