Lean community on Zulip case study

Stream: Zulip meta

[Alya Abbott]

Hey folks! We have published a new case study about how this community uses Zulip on the Zulip website. Thanks so much to @Kevin Buzzard and @Rob Lewis for their help in putting this together!

Please check it out if you are interested and share on Twitter. :)

How did the @leanprover community verify a result at the cutting edge of mathematical research? 10+ mathematicians around the globe collaborated in @zulip chat. https://zulip.com/case-studies/lean/ #research #math #academictwitter #academia #phdchat #opensource

- Zulip chat for distributed teams (@zulip)