Zulip auto search?

Stream: Is there code for X?

[Alok Singh]

Is there some sort of integration between lean and Zulip in tooling? Since the advice for help for anything is "Zulip"

[Shreyas Srinivas]

Loogle can be searched from zulip.

For example @loogle map

[loogle]

:exclamation: unknown identifier 'map'
Did you mean "map", EStateM.map, or something else?

[Eric Rodriguez]

Not specifically, Alok, the documentation is sometimes lacking and it's often easier to get the expert knowledge from people here instead.