/pfr

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Primary LanguageLean

Stargazers

No one’s star this repository yet.