paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-01 04:23:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

portico: Add links to Lean case study from Kevin's quote.

Browse Source
This commit is contained in:
Alya Abbott
2021-11-05 13:55:49 -07:00
committed by Tim Abbott
parent e106caa68f
commit 30f2d50f1f
2 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
templates/zerver/for-open-source.html
View File

@@ -617,6 +617,9 @@
<div class="author">
&mdash; <a href="https://www.imperial.ac.uk/people/k.buzzard">Kevin Buzzard</a>, Professor of Pure Mathematics at <a href="https://www.imperial.ac.uk/">Imperial College London</a>
</div>
<a class="case-study-link" href="/case-studies/lean/"
target="_blank">How the Lean prover
community uses Zulip ↗</a>
</div>
</div>
</div>
@@ -671,6 +674,9 @@
<div class="author">
&mdash; <a href="https://www.imperial.ac.uk/people/k.buzzard">Kevin Buzzard</a>, Professor of Pure Mathematics at <a href="https://www.imperial.ac.uk/">Imperial College London</a>
</div>
<a class="case-study-link" href="/case-studies/lean/"
target="_blank">How the Lean prover
community uses Zulip ↗</a>
</div>
</div>
</div>

9
templates/zerver/for-research.html
View File

@@ -88,8 +88,15 @@
both the app and the website is extremely positive!
</blockquote>
<div class="author">
&mdash; <a href="https://www.imperial.ac.uk/people/k.buzzard">Kevin Buzzard</a>, Professor of Pure Mathematics at <a href="https://www.imperial.ac.uk/">Imperial College London</a>
&mdash; <a
href="https://www.imperial.ac.uk/people/k.buzzard">Kevin
Buzzard</a>, Professor of Pure Mathematics at <a
href="https://www.imperial.ac.uk/">Imperial College
London</a>
</div>
<a class="case-study-link" href="/case-studies/lean/"
target="_blank">How the Lean prover
community uses Zulip ↗</a>
</div>
</div>
</div>