https://www21.in.tum.de/team/kreuzer/
This is an unofficial reimagining of the Archive of Formal Proofs
Van der Waerden's Theoremby Katharina Kreuzer and Manuel Eberl