@inproceedings{EndToEndKeller2026,
  title = {An End-to-End Verification of {K}eller's Conjecture},
  author = {James Gallicchio
            and Cayden Codel
            and Jeremy Avigad
            and Marijn J. H. Heule},
  booktitle = {17th International Conference on Interactive Theorem Proving (ITP 2026)},
  year = {2026},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  editor = {Ekaterina Komendantskaya and Tobias Nipkow},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
}