EricCrosson / rubiks-cube-induction

A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rubik’s Cube Model

This is a model of a rubik’s cube I used to scope out the phenomena of periodic input.

About

A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start


Languages

Language:Ruby 100.0%