Zulip Chat Archive

Stream: std4

Topic: bump to nightly-2022-11-17

Scott 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?

Scott 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: Dec 20 2023 at 11:08 UTC