[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)