From 95d835ccc08c77d09ec4b72eae02ed4e630a03f4 Mon Sep 17 00:00:00 2001
From: zixiaowang17 <wzxiao17@gmail.com>
Date: Thu, 1 Oct 2026 16:24:07 -0400
Subject: [PATCH] chore: rebuild the updated homepage

---
 index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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">