Zulip Chat Archive
Stream: Proofs from the book
Topic: Channels
Martin Dvořák (Aug 18 2025 at 08:35):
Can this channel be moved to Projects?
Johan Commelin (Aug 18 2025 at 10:11):
Done
Martin Dvořák (Aug 18 2025 at 10:14):
Thanks!
Last updated: Dec 20 2025 at 21:32 UTC