sudoku-engine
There are 1 repositories under sudoku-engine topic.
frankYaohua/Sudoku-Game-by-Coq
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
There are 1 repositories under sudoku-engine topic.
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.