Rare find

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

github.com/teorth/pfr

Problem

Audience

Updates

No founder updates yet. Check back soon.