Zulip Chat Archive
Stream: general
Topic: holiday wishes
Kajani Kaunda (Dec 25 2024 at 16:20):
Kajani Kaunda (Dec 25 2024 at 16:26):
theorem apologies_if_the_post_was_out_of_order : spreading.a little.cheer := sorry
Notification Bot (Dec 25 2024 at 17:35):
2 messages were moved here from #general > discussion: Structure in Prime Gaps - Formalized (SPGF) by Ruben Van de Velde.
Kajani Kaunda (Dec 25 2024 at 17:43):
Notification Bot said:
2 messages were moved here from #general > discussion: Structure in Prime Gaps - Formalized (SPGF) by Ruben Van de Velde.
Thanks, @Ruben Van de Velde, forgive my new user mistake!
Last updated: May 02 2025 at 03:31 UTC