search

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.
69 stars 16 forks source link

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

Closed kim-em closed 11 months ago

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