Zulip Chat Archive
Stream: mathlib4
Topic: Data.Int.Bitwise mathlib4#1159
Ruben Van de Velde (Dec 30 2022 at 19:56):
I've got four open PRs that depend on this, so any review would be welcome
Ruben Van de Velde (Jan 02 2023 at 07:53):
I believe I fixed the issues that made mathlib#1159 fail on bors; a quick re-review would be welcome
Last updated: May 02 2025 at 03:31 UTC