Zulip Chat Archive

Stream: mathlib4

Topic: Looking for reviewer for #34435 (Poisson convolution)


huaizhangchu (Feb 05 2026 at 06:22):

Hi! I have a PR #34435 about Poisson distribution convolution that's been waiting for review for about a week. Would anyone be available to take a look? I'd really appreciate any feedback or guidance. Thanks!

Yongxi Lin (Aaron) (Feb 05 2026 at 07:40):

You should remove the awaiting author label, and you can do this by commeting -awaiting-author

huaizhangchu (Feb 05 2026 at 08:58):

Thanks a lot!


Last updated: Feb 28 2026 at 14:05 UTC