TY  - RPRT
TI  - Lean-verified lower bounds for the Shannon capacity of odd cycles
AU  - Pjotr Buys
AU  - Sven Polak
AU  - Jeroen Zuiddam
PY  - 2026
UR  - https://arxiv.org/abs/2607.29681
ID  - 2607.29681
ER  -