softwarefoundations
There are 1 repositories under softwarefoundations 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 softwarefoundations topic.
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.