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