Commits at 71a70720c2c628e40fc4f86674cac2bb4cca0cf1

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