Closed kim-em closed 1 year ago
Fixes a potential data loss bug. All projects should update their toolchain as soon as possible.
Please see https://github.com/leanprover/lean4/releases/tag/v4.2.0-rc4 and the zulip thread for more information.
Fixes a potential data loss bug. All projects should update their toolchain as soon as possible.
Please see https://github.com/leanprover/lean4/releases/tag/v4.2.0-rc4 and the zulip thread for more information.