Pinned Loading

1. GroupTheoreticShannonCapacity GroupTheoreticShannonCapacity Public

   Lean 4 formalization of "A Group-Theoretic Approach to Shannon Capacity of Graphs and a Limit Theorem from Lattice Packings" by Buys, Polak, and Zuiddam (arxiv:2506.14654)

   Lean 4 1

2. asymptotic-spectrum-distance asymptotic-spectrum-distance Public

   Lean 4 formalization of "The asymptotic spectrum distance, graph limits, and the Shannon capacity" by de Boer, Buys, and Zuiddam (arXiv:2404.16763)

   Lean 1

3. spectra-research/asymptotic-tensor-rank-semicontinuity spectra-research/asymptotic-tensor-rank-semicontinuity Public

   Lean 4 formalization of "Asymptotic tensor rank is characterized by polynomials" by Matthias Christandl, Koen Hoeberechts, Harold Nieuwboer, Péter Vrana, Jeroen Zuiddam (arXiv:2411.15789)

   Lean 2

4. spectra-research/shannon-capacity-lean spectra-research/shannon-capacity-lean Public

   Lean 4 formalisation of lower bounds on the Shannon capacity of odd cycles

   Lean 2 1