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: May 02 2025 at 03:31 UTC