This is a model of a rubik’s cube I used to scope out the phenomena of periodic input.
EricCrosson/rubiks-cube-induction
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
Ruby
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
Ruby