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