Recent comments
- : tag 01KH by Elías Guisado
- : tag 0CMN by DD
- : tag 07FA by Thomas Qu
- : tag 02KK by Lecheng
- : tag 00M9 by Elías Guisado
Recent commits
- 10 Nov 2025: License files in subdirectory scripts w Apache 2.0
- 10 Nov 2025: Update copyright year
- 24 Oct 2025: Better handling of pro-morphisms and Rlim
- 28 Sep 2025: Tags: added new tags
- 28 Sep 2025: Fix complaints of scripts
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