A Non-Constructive Proof of the Four Colour Theorem by from Hacker News on 2022-12-21 15:36 (#672PS) Comments