Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Latest commits.
No recent commits available.
Builders behind this project.
No contributor data available.
