GitHub repository: Adarsh321123/pfr
Primary language: Lean
Description: Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)