/rubiks-cube-group

A formalization of the Rubik's cube group

Primary LanguageLean

Issues

  • Open issue

    0=1 ?

    #1 opened
    0