Issues

• Align website-generated blueprints with the GitHub claim template

  AxiomMath/Stacks#14 · Filter by author PHTPSN opened on Nov 7, 2026

• [claim] exercise 02CG Exercise 111.1.1

  AxiomMath/Stacks#13 · Filter by author PHTPSN opened on Nov 7, 2026

• [claim] 057Y: Filtered vector spaces as an additive category

  claim
  AxiomMath/Stacks#8 · Filter by author elanroth opened on Nov 6, 2026

• Please make available an accessible list of errata to the stacks project.

  AxiomMath/Stacks#5 · Filter by author koffie opened on Nov 5, 2026

• [claim] 02D6: register generic-point uniqueness from Mathlib

  AxiomMath/Stacks#4 · Filter by author VascoSch92 opened on Nov 5, 2026

• Website: contribution and library routes return HTTP 404 on direct requests

  AxiomMath/Stacks#3 · Filter by author VascoSch92 opened on Nov 5, 2026

• [claim] 003U: group homomorphisms fibred in groupoids

  AxiomMath/Stacks#1 · Filter by author kejace opened on Nov 4, 2026