sudoku
sudoku copied to clipboard
TwoFX
A sudoku game where you have to prove that your deductions are valid
Results
2
sudoku issues
Sort by
recently updated
recently updated
newest added
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies. If your project currently builds, this is probably because of changes...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
add some advanced techniques of sudoku, including X-wing, XY-wing, XYZ-wing and Turbot fish.
