Commits at main

1. 1668fbcd Aristotle supports v4.28.0 now yay Anthony Wang authored at 2026-03-20 17:14:28 -0400 Anthony Wang comitted at 2026-03-20 17:14:28 -0400
2. c314c45f More sloppppppppp Anthony Wang authored at 2026-01-07 14:53:23 -0600 Anthony Wang comitted at 2026-01-07 14:53:23 -0600
3. e3731382 Marden finally Anthony Wang authored at 2025-12-15 22:08:46 -0600 Anthony Wang comitted at 2025-12-15 22:08:46 -0600
4. 05ef05d1 Add more slop Anthony Wang authored at 2025-12-14 20:24:03 -0600 Anthony Wang comitted at 2025-12-14 20:24:03 -0600
5. d9e72623 Rename some stuff Anthony Wang authored at 2025-12-14 20:22:48 -0600 Anthony Wang comitted at 2025-12-14 20:22:48 -0600
6. 5bbde96c Yay Aristotle supports a non-ancient Lean version now Anthony Wang authored at 2025-11-26 16:32:33 -0500 Anthony Wang comitted at 2025-11-26 16:32:33 -0500
7. 1b3667f0 Use Aristotle's ancient-ish Lean version with garbage grind, can use the aristotle CLI instead of a Python script Anthony Wang authored at 2025-11-08 11:44:51 -0500 Anthony Wang comitted at 2025-11-08 11:44:51 -0500
8. b5001883 Pin mathlib version Anthony Wang authored at 2025-10-16 00:54:42 -0400 Anthony Wang comitted at 2025-10-16 00:54:42 -0400
9. a415164c Initial commit Anthony Wang authored at 2025-10-15 12:16:22 -0400 Anthony Wang comitted at 2025-10-15 12:16:22 -0400