about
blog
GitHub
recent changesRecent comments
- : tag 050M by Stacks project
- : tag 0474 by Stacks project
- : tag 04XS by Stacks project
- : tag 0FDC by Stacks project
- : tag 0B2F by Stacks project
Recent commits
- 21 Jan 2026: Fix a proof
- 21 Jan 2026: Add more detail to proof
- 21 Jan 2026: Remove and
- 21 Jan 2026: Superfluous condition in statement
- 21 Jan 2026: Fix statement lemma in varieties
Recent blog posts
- 28 Sep 2025: de Rham cohomology of an Artinian ring
- 25 Sep 2025: Surjective map from affine space
- 15 Aug 2025: The theorem on formal functions
- 05 Aug 2025: Updated Stacks Project
- 17 Apr 2025: Infinite dimensional de Rham cohomology
Statistics
The Stacks project now consists of
- 7640 pages
- 765574 lines of code
- 21390 tags
- 3292 sections
- 116 chapters
- 244 slogans