Commits at 5ce522ce135946fdc9e580a827217cc0086a2e92

1. 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
2. 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
3. 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