Reservoir
No results found
All Packages
ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Readme
Versions (1)
Dependencies (13)
Displaying
1-1
of
1
versions of
ChandraFurstLipton
Sort by
Date
Not a part of any version track.
9a475b9
3 months ago
Released on September 30, 2024 at 5:27:41PM
Commit 9a475b9 builds on its old leanprover/lean4:v4.12.0-rc1
v4.12.0-rc1
160.0 KB
Build archive size: 160042 bytes.
1
20