@[email protected]MB to [email protected]English • 1 year agoA Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.comexternal-linkmessage-square1fedilinkarrow-up14arrow-down11cross-posted to: [email protected][email protected]
arrow-up13arrow-down1external-linkA Computer-Assisted Proof Solves the ‘Packing Coloring’ Problemwww.wired.com@[email protected]MB to [email protected]English • 1 year agomessage-square1fedilinkcross-posted to: [email protected][email protected]