GitHub repository: thery/sudoku-1
Description: A certified Sudoku solver in Coq [maintainer=@siraben]