search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

chore: bump lean-toolchain to v4.2.0-rc4 #255

Closed kim-em closed 1 year ago

kim-em commented 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.