Sudoku

github.comtool

Formalization and solver of the Sudoku number-placement puzzle in Coq.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   SMTCoq github.com

   tool category #coq link ↗

   Tool that checks proof witnesses coming from external SAT and SMT solvers.

   
2. ▲
   Mini-Rubik github.com

   tool category #coq link ↗

   Coq formalization and solver of the 2x2x2 version of the Rubik's Cube puzzle.

   
3. ▲
   Golem Sudoku github.com

   tool category #golem link ↗

   Game of Sudoku with size variants.

   
4. ▲
   Natural Number Game github.com

   tool category #coq link ↗

   Coq version of the natural number game developed for the Lean prover.

   
5. ▲
   coq-scripts github.com

   tool category #coq link ↗

   Scripts for dealing with Coq files, including tabulating proof times.

6. ▲
   Coqoban github.com

   tool category #coq link ↗

   Coq implementation of Sokoban, the Japanese warehouse keepers' game.

   

Coq › Projects > Puzzles and Games: “Formalization and solver of the Sudoku number-placement puzzle in Coq.”