teorth / pfrLinks

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
167Updated this week

Alternatives and similar repositories for pfr

Users that are interested in pfr are comparing it to the libraries listed below

Sorting: