Play Collinear

This is a game I made with Claude's help. Click above to play! It's inspired by some cool math. The general idea is to label the diagram you see in a way where every line has distinct numbers. 

Coloring points so every line is rainbow is the setting of the Erdős–Faber–Lovász conjecture, proved for large boards in 2021 by Kang, Kelly, Kühn, Methuku and Osthus. The Levels tab includes two classical configurations, Pappus and Desargues.