Reservoir
No results found
All Packages
PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Readme
Versions (2)
Dependencies (10)
Displaying
1-2
of
2
versions of
PFR
Sort by
Date
Not a part of any version track.
43c4fcd
3 days ago
Released on March 7, 2025 at 12:16:32PM
Commit 43c4fcd builds on its recent leanprover/lean4:v4.18.0-rc1
v4.18.0-rc1
23.0 MB
Build archive size: 22995840 bytes.
Not a part of any version track.
620466f
v4.17.0
5 days ago
Released on March 5, 2025 at 8:41:50PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20