Proofdoku: Solve Sudoku Puzzles by Proving Them | Hacker News Reader