lean theorem prover - Robuta Search

https://zulip.com/case-studies/lean/ Case study: Lean theorem prover community | Zulip Zulip enables collaboration at scale: “We could never do what we’re doing on Slack or Discord.” lean theorem prover case study community zulip