index.html

<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Statlib</title>
<meta name="description" content="A Lean 4 library for foundational and modern theoretical statistics.">
<link rel="stylesheet" href="site.css?v=20261001-activity">
</head>
<body class="site-page">

<!-- Generated from content/*.md by tools/build_site.py. Edit Markdown source, not this file. -->
<nav>
  <a href="index.html" class="brand">Statlib</a>
  <div class="links">
    <a href="index.html" class="active">About</a>
    <a href="tutorial/index.html">Tutorial</a>
    <a href="roadmap.html">Roadmap</a>
    <a href="todos.html">TODOs</a>
    <a href="contribute.html">Contribute</a>
    <a href="governance.html">Governance</a>
  </div>
</nav>

<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>. 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">
    <p class="data-status">Loading community activity…</p>
    </div>
    </section>
  </div>
</main>

<script src="homepage.js?v=20261001-activity" defer></script>

</body>
</html>