about
blog
GitHub
recent changesRecent comments
- : tag 06Q1 by Matthieu Romagny
- : tag 00EO by Peng DU
- : tag 0FZR by Johan
- : tag 0FZR by Pieter Belmans
- : tag 02LR by slogan_bot
Recent commits
- 05 Jun 2020: j_!O_U compact in D^+(O) sometimes
- 05 Jun 2020: Upgrade previous discussion
- 04 Jun 2020: Rf^!
- 30 May 2020: Tags: added new tags
- 30 May 2020: Mistaken lemma
Recent blog posts
- 25 May 2020: 7000 pages
- 28 Apr 2020: Purity (Part 3)
- 27 Mar 2020: Talk by Will Sawin TODAY
- 22 Mar 2020: Minimal Cech coverings
- 16 Mar 2020: Artwork for a T-shirt
Statistics
The Stacks project now consists of
- 7008 pages
- 701840 lines of code
- 19886 tags
- 3098 sections
- 114 chapters
- 217 slogans