Pinned Loading

1. rubiks-cube rubiks-cube Public

   A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.

   Lean 8

2. Lockbox Lockbox Public

   The Lockbox puzzle for Brown Puzzle Hunt 2024

   Python 1

3. PerfectGraphs PerfectGraphs Public

   This is a repository with code for animations used for a video project for MATH 1230: Graph Theory. Animations were created using manim from ManimCommunity.

   Python

4. Reduplication Reduplication Public

   HTML