Zulip Chat Archive

Stream: batteries

Topic: bump to nightly-2022-11-17

Kim Morrison (Nov 17 2022 at 11:39):

I tried bumped std4 to nightliy-2022-11-17, but ran into a problem in HashMap/WF.lean. @Mario Carneiro, would you have a chance to sort this out?

Kim Morrison (Nov 17 2022 at 11:40):

https://github.com/leanprover/std4/pull/28

Mario Carneiro (Nov 17 2022 at 11:41):

I'm already on it

Last updated: May 02 2025 at 03:31 UTC