paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-10-23 16:14:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

portico: Link back to /for/X pages from Lean case study.

Browse Source
This commit is contained in:
Alya Abbott
2021-11-10 22:37:26 -08:00
committed by Tim Abbott
parent 6c14978cd1
commit 847bf8207f
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
templates/zerver/for/lean-case-study.md
View File

@@ -129,3 +129,9 @@ jump in to help newer community members as time allows.
> — [Robert Y. Lewis](https://robertylewis.com/), Brown University lecturer and
> [mathlib](https://github.com/leanprover-community/mathlib)
> [maintainer](https://github.com/leanprover-community/mathlib#maintainers)
---
Check out our guides on using Zulip for [research](/for/research)
and [open source](/for/open-source), and learn how Zulip
[helps communities grow](/for/communities)!