<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <url><loc>https://www.proofforum.org/</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/browse</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/search</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/public-index.php</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/process</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/philosophy</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/refereeing</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/certification</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/contact</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/licenses</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/terms</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/privacy</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/cookies</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.AC</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.GR</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.NT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.QA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.RA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.RT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.AG</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.AT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.DG</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.GN</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.GT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.KT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.MG</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.SG</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.AP</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.CA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.CV</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.DS</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.FA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.OA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.SP</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.CO</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.IT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.NA</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.OC</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.PR</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.ST</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.CT</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.LO</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.MP</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.GM</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/subjects/math.HO</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v3</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v2</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v1</loc><lastmod>2026-08-27</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006/v1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000007/v1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000016/v1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019/v1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000007</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000016</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/THM-1.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/LEM-2.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/LEM-2.2</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/COR-2.3</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/LEM-2.4</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/LEM-3.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/LEM-4.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000023/v1/THM-4.2</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/LEM-2.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/THM-3.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/COR-3.2</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/LEM-4.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/LEM-4.2</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v2/THM-4.3</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v3/THM-2.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v3/THM-3.1</loc><lastmod>2026-10-13</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v2/THM-2.1</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v2/COR-2.2</loc><lastmod>2026-10-12</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019/v1/LEM-2.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019/v1/LEM-2.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019/v1/LEM-2.3</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000019/v1/THM-3.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/THM-1.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/COR-1.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-2.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-4.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-4.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-5.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/THM-5.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-6.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-6.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-6.3</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-6.4</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/THM-7.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-7.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-7.3</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-7.4</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-8.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-8.2</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-8.3</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000018/v1/LEM-14.1</loc><lastmod>2026-10-11</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/LEM-2.1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/THM-3.1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/COR-3.2</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/LEM-4.1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/LEM-4.2</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000017/v1/THM-4.3</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000016/v1/LEM-2.1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000016/v1/THM-3.1</loc><lastmod>2026-10-10</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-3.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-3.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-3.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-3.4</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/PROP-3.5</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/PROP-3.7</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-3.8</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-3.9</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-3.10</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-3.11</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-3.12</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-4.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.4</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.5</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.6</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-4.8</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/COR-4.9</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-5.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-5.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-5.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-6.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.4</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/PROP-6.5</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-6.6</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.7</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.8</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.9</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.10</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.11</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.12</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-6.13</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.14</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-6.15</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-6.16</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-7.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-7.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-7.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-7.4</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-7.5</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-8.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.3</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-8.4</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.5</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-8.6</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.7</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.8</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-8.9</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/THM-8.10</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/DEF-10.1</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000014/v1/LEM-10.2</loc><lastmod>2026-10-04</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/DEF-2.1</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/DEF-2.2</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/DEF-2.3</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/THM-4.1</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/COR-4.2</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/LEM-6.1</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/PROP-6.2</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000013/v1/PROP-9.1</loc><lastmod>2026-09-29</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/LEM-3.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/PROP-4.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/PROP-4.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/COR-4.3</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/LEM-5.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/LEM-5.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/LEM-6.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/PROP-6.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000012/v1/THM-7.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/THM-1.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/THM-1.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-2.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-2.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-3.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-3.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/PROP-3.3</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/PROP-3.4</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-3.5</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/PROP-3.6</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-3.7</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-3.8</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-4.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/PROP-4.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-5.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-5.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000011/v1/LEM-5.3</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/THM-1.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/LEM-2.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/LEM-2.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/LEM-3.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/LEM-3.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000010/v1/LEM-4.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/DEF-2.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/PROP-2.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-2.3</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-3.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-3.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-4.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-5.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-5.2</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-6.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000009/v1/THM-7.1</loc><lastmod>2026-09-28</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/DEF-1.1</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/THM-2.1</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/LEM-3.1</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/LEM-3.2</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/COR-4.1</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000008/v1/PROP-4.2</loc><lastmod>2026-09-26</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000007/v1/LEM-2.1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000007/v1/THM-3.1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000007/v1/COR-3.2</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006/v1/THM-2.1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006/v1/LEM-3.1</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006/v1/PROP-3.2</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000006/v1/THM-3.3</loc><lastmod>2026-09-01</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1/LEM-2.1</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1/THM-2.2</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1/THM-3.1</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1/THM-4.1</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000005/v1/COR-4.2</loc><lastmod>2026-08-30</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v1/THM-2.1</loc><lastmod>2026-08-27</lastmod></url>
  <url><loc>https://www.proofforum.org/abs/PF:2026.000002/v1/COR-2.2</loc><lastmod>2026-08-27</lastmod></url>
</urlset>