StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 4,919

  1. Seeing a bunch of intro to proofs discussion recently. Reminds me of something I heard brought up at @JoshuaNCooper's #tmwyf talk: has anyone used logic puzzles (e.g. sudoku) as the backbone of an intro to proofs course?