decalion89/chromatic-number-of-the-plane
Exact, certificate-driven computations on the chromatic number of the plane (Hadwiger–Nelson problem)
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues