TY  - RPRT
TI  - Formalizing the Solution to the Cap Set Problem
AU  - Sander R. Dahmen
AU  - Johannes Hölzl
AU  - Robert Y. Lewis
PY  - 2019
UR  - https://arxiv.org/abs/1907.01449
ID  - 1907.01449
ER  -