No results found

ChandraFurstLipton

Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Displaying 1-1 of 1 versions of ChandraFurstLipton
Sort by
  1. 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.