AlexDuchnowski/rubiks-cube
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
Lean
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
Lean