@misc{indiciae0a89ab0b8f9d,
  title = {Nonexistence of a Strongly Regular Graph with Parameters (266,45,0,9): A Certificate-Free Lean Proof},
  author = {Kay Akiyama},
  year = {2026},
  url = {https://arxiv.org/abs/2609.08319},
  note = {Source identifier: 2609.08319}
}