<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:news="http://www.google.com/schemas/sitemap-news/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1" xmlns:video="http://www.google.com/schemas/sitemap-video/1.1">
    
  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/canon</loc>
    <lastmod>2026-05-22T16:20:07.845Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/clearsplit</loc>
    <lastmod>2026-05-22T16:20:07.836Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/collab-todo</loc>
    <lastmod>2026-05-22T16:20:07.839Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/colorwheel</loc>
    <lastmod>2026-05-22T16:20:07.846Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/counter</loc>
    <lastmod>2026-05-22T16:20:07.842Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/apps/kanban</loc>
    <lastmod>2026-05-22T16:20:07.840Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/backends/cloudflare</loc>
    <lastmod>2026-05-22T16:20:07.837Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/backends/overview</loc>
    <lastmod>2026-05-22T16:20:07.838Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/backends/supabase</loc>
    <lastmod>2026-05-22T16:20:09.143Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/guides/app-extras-pattern</loc>
    <lastmod>2026-05-22T16:20:09.140Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/guides/dafny2js</loc>
    <lastmod>2026-05-22T16:20:10.297Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/guides/domain-obligations</loc>
    <lastmod>2026-05-22T16:20:10.284Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/guides/react-integration</loc>
    <lastmod>2026-05-22T16:20:10.298Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/introduction</loc>
    <lastmod>2026-05-22T16:20:10.286Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/kernels/authority</loc>
    <lastmod>2026-05-22T16:20:10.290Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/kernels/effect-state-machine</loc>
    <lastmod>2026-05-22T16:20:10.289Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/kernels/multi-collaboration</loc>
    <lastmod>2026-05-22T16:20:10.291Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/kernels/multi-project</loc>
    <lastmod>2026-05-22T16:20:10.287Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/kernels/replay</loc>
    <lastmod>2026-05-22T16:20:10.285Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/quickstart</loc>
    <lastmod>2026-05-22T16:20:11.255Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/reference/faq</loc>
    <lastmod>2026-05-22T16:20:11.254Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/reference/guarantees</loc>
    <lastmod>2026-05-22T16:20:11.252Z</lastmod>
  </url>

  <url>
    <loc>https://mintlify.wiki/metareflection/dafny-replay/reference/type-mappings</loc>
    <lastmod>2026-05-22T16:20:11.251Z</lastmod>
  </url>
</urlset>