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 (3)
Dependencies (10)
Displaying
1-3
of
3
versions of
ChandraFurstLipton
Sort by
Date
Not a part of any version track.
970a77c
v4.18.0
16 days ago
Released on April 4, 2025 at 7:50:14AM
Commit 970a77c builds on its recent leanprover/lean4:v4.18.0
v4.18.0
164.5 KB
Build archive size: 164511 bytes.
Not a part of any version track.
970a77c
v4.18.0
16 days ago
Released on April 4, 2025 at 7:50:14AM
Commit 970a77c builds on its recent leanprover/lean4:v4.18.0
v4.18.0
164.5 KB
Build archive size: 164511 bytes.
Not a part of any version track.
3b68502
v4.17.0
a month 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