diff --git a/index.html b/index.html
index fce3ae6..5c7f4c6 100644
--- a/index.html
+++ b/index.html
@@ -25,7 +25,8 @@
 <main>
   <div class="wrap">
     <h1>Statlib</h1>
-    <p><a href="https://github.com/stat-lib/statlib" target="_blank" rel="noopener">Statlib</a> is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors <a href="#activity">below</a>. Interested in joining us? Visit our <a href="https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib" target="_blank" rel="noopener">Zulip channel</a>.</p>
+    <p><a href="https://github.com/stat-lib/statlib" target="_blank" rel="noopener">Statlib</a> is an open community that aims to support the verification of classical, contemporary, and emerging research in mathematical statistics; its vision and goals are shaped by the whole community. Please check out our contributors <a href="#activity">below</a>. We build with <a href="https://icarm.io/" target="_blank" rel="noopener">Institute for Computer-Aided Reasoning in Mathematics</a> at CMU.</p>
+    <p>Interested in joining us? Visit our <a href="https://leanprover.zulipchat.com/#narrow/channel/611809-Statlib" target="_blank" rel="noopener">Zulip channel</a>.</p>
     <section id="activity" class="people">
     <h2>Community activity</h2>
     <div id="activity-board" class="data-board" aria-live="polite" aria-busy="true">