Skip to the content.

The Polynomial Freiman-Ruzsa Conjecture

A digitisation of the proof of the Polynomial Freiman-Ruzsa Conjecture in Lean 4

Documentation Blueprint Paper Upstreaming dashboard File dependencies View on GitHub

404

Page not found :(

The requested page could not be found.

pfr is maintained by Terence Tao from UCLA and Yaël Dillies from the University of Stockholm. Visit the repository on GitHub for the list of contributors.