Mini-Rubik

github.comtool

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

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Coqoban github.com

   tool category #coq link ↗

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

   
2. ▲
   Puzzle Cube github.com

   tool category #yew link ↗

   Rubix Cube solver using Rust and Yew, Live Demo.

   
3. ▲
   Sudoku github.com

   tool category #coq link ↗

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

   
4. ▲
   xiangnongWu2233/rubiks-cube.nvim github.com

   tool category #neovim link ↗

   A playable Rubik's cube with auto-solver.

5. ▲
   miniF2F github.com

   tool category #math link ↗

   Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.

   
6. ▲
   HactarCE/Hyperspeedcube github.com

   tool category #rust link ↗

   A modern, beginner-friendly 3D and 4D Rubik's cube simulator with customizable mouse and keyboard controls and advanced features for speedsolving

Coq › Projects > Puzzles and Games: “Coq formalization and solver of the 2x2x2 version of the Rubik's Cube puzzle.”