vihdzp / rubik-lean4

Lean 4 formalization of Rubik's cubes
24Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for rubik-lean4