GitHub repository: omar826/N_Rubiks_Cube
Primary language: Lean
Description: n*n*n Rubiks Cube modelled in Lean4