Zulip Chat Archive
Stream: Carleson
Topic: mathlib update
Jeremy Tan (Sep 03 2024 at 10:19):
@Floris van Doorn I have finally updated mathlib to 4.12.0-rc1 which fixes the Nat.reducePow bug that was causing panics in your repo https://github.com/fpvandoorn/carleson/pull/114
Last updated: Dec 20 2025 at 21:32 UTC