@misc{mazur-2026-bondy-formalized-proof,
  author = {Mazur, Lech},
  title = {A Formalized Proof of Bondy's Minimum-Degree Longest-Cycle Conjecture},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-08-16},
  version = {revised public version of August 16, 2026},
  url = {https://proofatlas.ai/research/bondy-longest-cycle-proof/}
}