The paper:

• Fomalizing the solution to the cap set problem

Lean code and other background info:

• GitHub page