Commits at 54d3d34c7182536b813dbd8b73655a77a93a1155

1. 54d3d34c Update to Lean v4.26.0 Anthony Wang authored at 2025-12-19 21:30:39 -0600 Anthony Wang comitted at 2025-12-19 21:30:39 -0600
2. 9a0500c5 Fix compilation error on Ubuntu Anthony Wang authored at 2025-11-28 19:45:32 -0500 Anthony Wang comitted at 2025-11-28 19:45:32 -0500
3. 07cd9454 Turns out flush bug was just me being stupid and not using the latest build Anthony Wang authored at 2025-11-28 19:12:45 -0500 Anthony Wang comitted at 2025-11-28 19:12:45 -0500
4. da86b80c Initial commit Anthony Wang authored at 2025-11-28 17:06:51 -0500 Anthony Wang comitted at 2025-11-28 17:06:51 -0500