{% extends "zerver/marketing_page.html" %} {% set PAGE_TITLE = "Case study: Lean theorem prover community | Zulip" %} {% set PAGE_DESCRIPTION = "Zulip enables collaboration at scale: “We could never do what we’re doing on Slack or Discord.”" %} {% block marketing_content %}

Case study: Lean theorem prover community

Learn more about using Zulip for research
and open source communities.

{{ render_markdown_path('corporate/case-studies/lean-case-study.md') }}

{% endblock %}