sudoku
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
21 stars
5 watching
3 forks
Language: Coq
last commit: almost 2 years ago
Linked from 2 awesome lists
coqnix-actionsudoku
sudoku A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
uhub/awesome-coq