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 (2)
Dependencies (10)
Displaying
1-2
of
2
versions of
ChandraFurstLipton
Sort by
Date
Not a part of any version track.
3b68502
v4.17.0
7 hours ago
Released on March 16, 2025 at 8:37:39AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
Not a part of any version track.
3b68502
v4.17.0
7 hours ago
Released on March 16, 2025 at 8:37:39AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20