leanfifteen Basically Hanoi in Lean, but now Fifteen. Get the project using leanproject get SnobbyDragon/leanfifteen && code leanfifteen Play games in play.lean :) Another super thank you to Ed Ayers for widget magic!!