Zulip Chat Archive

Stream: Zulip meta

Topic: Open link in desktop app


Joachim Breitner (Aug 13 2024 at 15:06):

I am a bit confused about the best way to open a link (like <https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.60simp_wf.60.20in.20.60decreasing_by.60>) from, say, github in the desktop app. I guess now that I mentioned it I can click on it here, but is there an easier way? Not even pasting it in the search bar finds the right topic.


Last updated: May 02 2025 at 03:31 UTC