/pfr

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

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers