PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
of 6 versions of PFR
1-6Sort by
Date
58ff9dd
v4.21.023.6 MBa14e4b1
v4.21.0v4.21.0c750735
v4.20.1v4.20.123.5 MB859f6b2
v4.19.0v4.19.00010cb5
v4.18.0v4.18.0620466f
v4.17.0v4.17.0