@misc{indiciaeb90c7c8c9773,
  title = {Formalizing the Solution to the Cap Set Problem},
  author = {Sander R. Dahmen and Johannes Hölzl and Robert Y. Lewis},
  year = {2019},
  url = {https://arxiv.org/abs/1907.01449},
  note = {Source identifier: 1907.01449}
}