Alex Duchnowski's repositories
rubiks-cube
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
SpacePiracy
This is a repository for the interactive Space Piracy puzzle which is part of the 2023 Brown Puzzle Hunt.
Language:HTML000
PerfectGraphs
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.
Language:Python000
Language:HTML000