GitHub repository: lean-forward/cap_set_problem
Primary language: Lean
Description: A formalization of Ellenberg and Gijswijt's solution to the cap set problem.