Commits at 2e1d29146b0408b9891e02ea1a2f7e758a10ef6d

1. 2e1d2914 Some random stuff I guess Anthony Wang authored at 2025-05-10 13:13:01 -0400 Anthony Wang comitted at 2025-05-10 13:13:01 -0400
2. a0ebebf9 Remove extra dots Anthony Wang authored at 2025-05-09 11:01:17 -0400 Anthony Wang comitted at 2025-05-09 11:01:17 -0400
3. 6ad8d857 Add testing code for Lean lazy infinite lists Anthony Wang authored at 2025-05-09 00:44:07 -0400 Anthony Wang comitted at 2025-05-09 00:44:07 -0400
4. 10963d1e Nuke GitHub Anthony Wang authored at 2025-05-06 11:42:54 -0400 Anthony Wang comitted at 2025-05-06 11:42:54 -0400
5. 011a55f3 Reformat Anthony Wang authored at 2025-05-06 11:27:46 -0400 Anthony Wang comitted at 2025-05-06 11:27:46 -0400
6. 71a70720 Implement my standard GCD program in Lean and it's so nice yay Anthony Wang authored at 2025-04-29 00:23:08 -0400 Anthony Wang comitted at 2025-04-29 00:23:08 -0400
7. c86a44de Clean up proof of lsb stuff Anthony Wang authored at 2025-04-23 20:15:33 -0400 Anthony Wang comitted at 2025-04-23 20:15:33 -0400
8. 7944918e Add everything Anthony Wang authored at 2025-04-23 20:08:13 -0400 Anthony Wang comitted at 2025-04-23 20:08:13 -0400
9. 95c34a47 Initial commit Anthony Wang authored at 2025-04-19 22:01:06 -0400 Anthony Wang comitted at 2025-04-19 22:01:06 -0400