Zulip statistics

Stream: Zulip meta

[Leonardo de Moura]

Is there a way to get Lean Zulip usage statistics for the last few months?

[Rob Lewis]

https://leanprover.zulipchat.com/stats

[Rob Lewis]

There's a Python API for Zulip that can be used to gather custom stats too

[Leonardo de Moura]

@Rob Lewis Thanks!

[Eric Wieser]

I think I remember there being an additional statistics page for people with the is_staff bit set, but I don't know if that refers to the people who created this Zulip, or the Zulip developers themselves?