Commits at main

1. 299564c4 Yay even shorter proof Anthony Wang authored at 2026-02-05 19:37:00 -0500 Anthony Wang comitted at 2026-02-05 19:37:00 -0500
2. 5ce522ce Simpler proof Anthony Wang authored at 2026-02-05 19:32:55 -0500 Anthony Wang comitted at 2026-02-05 19:32:55 -0500
3. 08da4b5a ICan'tBelieveItCanSort Anthony Wang authored at 2026-02-05 19:32:38 -0500 Anthony Wang comitted at 2026-02-05 19:32:38 -0500
4. af52fcca Initial commit Anthony Wang authored at 2026-02-05 14:13:51 -0500 Anthony Wang comitted at 2026-02-05 14:13:51 -0500