frankyaohua / sudoku-game-by-coq Goto Github PK
View Code? Open in Web Editor NEWA Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
Home Page: https://github.com/frankYaohua/Sudoku_Coq
License: GNU Lesser General Public License v2.1