Zulip Chat Archive
Stream: PR reviews
Topic: !4#4530
Scott Morrison (Jun 01 2023 at 05:48):
bumps to the latest Lean 4 and Std4. It's a combination of bits by Alex, Mario, and me. Hopefully it can be reviewed and merged soon.
Last updated: Dec 20 2023 at 11:08 UTC