Formalizing the Solution to the Cap Set Problem.

Sander R. Dahmen, Johannes Hlzl, Robert Y. Lewis

Browse the full ITP paper archive.