Open
QED
Docs
Leaderboard
Sign in
Back to problems
Chromatic Number of the Plane
How many colors are needed to color the plane so no two points at distance 1 share a color?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute