GitHub repository: omar826/n-n-n_Rubiks_Cube
Primary language: Lean
Created: 2025-03-09T13:11:58Z
Description: Representation of an n*n*n Rubik's Cube in Lean