ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
of 6 versions of ChandraFurstLipton
1-6Sort by
Date
ac4c2bc
v4.21.0v4.21.0173.7 KBac4c2bc
v4.21.0v4.21.0173.7 KB16db086
v4.20.1v4.20.1167.8 KB02aea0e
v4.19.0v4.19.0162.6 KB970a77c
v4.18.0v4.18.0164.4 KB3b68502
v4.17.0v4.17.0