Issues

• [PR review] CrystallineCohomology (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2815 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] ArithmeticGaloisRepresentations (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2814 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] LocallyAnalyticDistributions (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2813 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] AlgebraicModuliForArithmeticGeometry (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2812 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] RandomMatrices (round 2)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2811 · Filter by author github-actions opened on Oct 28, 2026

• [Gate] TeichmullerGeometry (round 10)

  kind:gateroadmap-jobstate:claimed
  TauCetiProject/TauCetiRoadmapJobs#2810 · Filter by author github-actions opened on Oct 28, 2026
  1

• [PR review] NeronModelsAndSemistableAbelianVarieties (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2806 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] GeometryOfNumbersAndQuadraticArithmetic (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2805 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] InverseGaloisAndArithmeticFundamentalGroups (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2804 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] AbelianSchemesAndArithmeticModuli (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2803 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] ComplexComparisonPartII (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2802 · Filter by author github-actions opened on Oct 28, 2026

• [Gate] TeichmullerGeometry (round 9)

  kind:gateroadmap-jobstate:needs-references
  TauCetiProject/TauCetiRoadmapJobs#2801 · Filter by author github-actions opened on Oct 28, 2026
  2

• [PR review] DiamondsAndVStacks (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2796 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] PerfectoidTowers (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2795 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] AdelicAlgebraicGroups (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2794 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] ProfiniteArithmetic (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2793 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] LFunctions (round 2)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2792 · Filter by author github-actions opened on Oct 28, 2026

• [Gate] TeichmullerGeometry (round 8)

  kind:gateroadmap-jobstate:needs-references
  TauCetiProject/TauCetiRoadmapJobs#2790 · Filter by author github-actions opened on Oct 28, 2026
  2

• [PR review] BelyiMaps (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2781 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] PolynomialGaloisGroups (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2780 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] CertifiedPermutationComputation (round 1)

  kind:prreviewroadmap-jobstate:available
  TauCetiProject/TauCetiRoadmapJobs#2779 · Filter by author github-actions opened on Oct 28, 2026

• [PR review] CFSGBasicProperties (round 1)

  kind:prreviewroadmap-jobstate:claimed
  TauCetiProject/TauCetiRoadmapJobs#2778 · Filter by author github-actions opened on Oct 28, 2026
  1

• [PR review] ChevalleyGroups (round 1)

  kind:prreviewroadmap-jobstate:claimed
  TauCetiProject/TauCetiRoadmapJobs#2777 · Filter by author github-actions opened on Oct 28, 2026
  1

• [Gate] TeichmullerGeometry (round 7)

  kind:gateroadmap-jobstate:needs-references
  TauCetiProject/TauCetiRoadmapJobs#2775 · Filter by author github-actions opened on Oct 28, 2026
  2

• [PR review] ProfiniteProPGroups (round 1)

  kind:prreviewroadmap-jobstate:submitted
  TauCetiProject/TauCetiRoadmapJobs#2773 · Filter by author github-actions opened on Oct 28, 2026
  1