← Feed @markusde@mathstodon.xyz 2026-05-04 12:18 UTC I have officially closed the Lean Zulip. Not opening it until Thursday unless the shakes get really bad Replies (0) No replies.