[HN Gopher] Sophisticated Sudokus as Playful Proof Practice ___________________________________________________________________ Sophisticated Sudokus as Playful Proof Practice Author : ibobev Score : 11 points Date : 2022-06-13 07:59 UTC (15 hours ago) (HTM) web link (probablydance.com) (TXT) w3m dump (probablydance.com) | petercooper wrote: | I recommend reading this as it's right - the Sudoku grid is a | beautifully constrained environment in which to indulge in | various elements of math and logic without becoming overwhelmed. | But since I know many read the comments and dash, check out the | _Cracking the Cryptic_ YouTube channel mentioned if you ever get | the chance: it 's become a highlight of my day to watch their | solves :-) | haskellandchill wrote: | Hm from what I can follow from skimming the proof aspect is at a | meta level? I don't really see how these are proof games. ___________________________________________________________________ (page generated 2022-06-13 23:00 UTC)