GitHub repository: morganfshirley/CommComp
Primary language: TeX
Created: 2024-09-13T12:14:25Z
Description: Formalization of communication complexity in Lean