/Sudoku-Game-by-Coq

A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1

No issues in this repository yet.