todos.html

<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Open formalization work — Statlib</title>
<meta name="description" content="Lean theorem statements currently open for contribution in Statlib.">
<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">About</a>
    <a href="tutorial/index.html">Tutorial</a>
    <a href="roadmap.html">Roadmap</a>
    <a href="todos.html" class="active">TODOs</a>
    <a href="contribute.html">Contribute</a>
    <a href="governance.html">Governance</a>
  </div>
</nav>

<main>
  <div class="wrap">
    <h1>Open formalization work</h1>
    <p class="intro">These theorem statements are preserved as structured <code>TODO</code> comments in Statlib rather than compiled declarations. Each item links to its exact source location and is a concrete starting point for contributors.</p>
    <div id="todo-board" class="data-board" aria-live="polite" aria-busy="true">
    <p class="data-status">Loading open statements…</p>
    </div>
  </div>
</main>

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

</body>
</html>