about
blog
GitHub
recent changesRecent comments
- : tag 01SA by Elías Guisado
- : tag 01LQ by Elías Guisado
- : tag 01LQ by Elías Guisado
- : tag 0EI6 by Shubhankar Sahai
- : tag 01LT by Elías Guisado
Recent commits
- 13 May 2023: Upgrade a Theorem and remove obsoleted section
- 04 May 2023: Switch p and q
- 04 May 2023: Obsolete lemma moved to obsolete
- 04 May 2023: Explain an alternative proof
- 04 May 2023: Fix the FIXMEs
Recent blog posts
- 03 Mar 2023: Updated once more
- 16 Jan 2023: Sections vs retractions
- 18 Aug 2022: Updated again
- 02 May 2022: Help wanted
- 13 Feb 2022: Supports of flat modules, part B
Statistics
The Stacks project now consists of
- 7531 pages
- 756668 lines of code
- 21162 tags
- 3267 sections
- 115 chapters
- 239 slogans