about
blog
GitHub
recent changesRecent comments
- : tag 0DD8 by ZL
- : tag 0FN7 by ZL
- : tag 00VU by Assaf
- : tag 091P by Stacks project
- : tag 013V by Stacks project
Recent commits
- 19 Jun 2025: Spectral sequence issue fixed
- 19 Jun 2025: Fix statement lemma in algebra
- 19 Jun 2025: Fix proof generic flatness in morphisms
- 19 Jun 2025: A bit more detail on the moving lemma
- 19 Jun 2025: Shorten a proof by using an internal reference
Recent blog posts
- 17 Apr 2025: Infinite dimensional de Rham cohomology
- 06 Jun 2024: Updated Stacks Project
- 02 Oct 2023: Postdoc position
- 01 Sep 2023: Endomorphisms of the Koszul complex
- 14 Aug 2023: Workshop
Statistics
The Stacks project now consists of
- 7609 pages
- 762944 lines of code
- 21319 tags
- 3289 sections
- 116 chapters
- 241 slogans