search

utensil / ginac-lean

A work-in-progress Lean 4 binding to GiNaC
Other
4 stars 1 forks source link

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

Closed semorrison closed 2 months ago

semorrison commented 9 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.

utensil commented 2 months ago

Thanks!