PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
of 7 versions of PFR
1-7Sort by
Date
f80f70e
v4.22.027.3 MB9a587eb
v4.22.0v4.22.027.4 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