kendfrey / rubiks-cube-groupLinks
A formalization of the Rubik's cube group
☆27Updated 4 years ago
Alternatives and similar repositories for rubiks-cube-group
Users that are interested in rubiks-cube-group are comparing it to the libraries listed below
Sorting:
- Formalization of the existence of sphere eversions☆44Updated this week
- Lean mathzoo☆25Updated 3 years ago