← Feed @markusde@mathstodon.xyz Post #2179836 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.