@misc{indiciae1756ac4fb01f,
  title = {A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs},
  author = {Shenghao Yang and Yanyan Dong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10579},
  note = {Source identifier: 2609.10579}
}