Zulip Chat Archive
Stream: PR reviews
Topic: !4#5205, !4#5213, !4#5215
Jeremy Tan (Jun 18 2023 at 06:42):
!4#5205, !4#5213, !4#5215 These three PRs on the road to Probability.BorelCantelli are now ready for review; they depend on each other in that order (so merge !4#5205 first)
Jeremy Tan (Jun 18 2023 at 11:58):
Now !4#5215 and !4#5222 (another file in the subtree, HittingTime) are ready
Last updated: Dec 20 2023 at 11:08 UTC