Hacker GitHub

← All repos

stacks/stacks-project

View on GitHub ↗ ★ 1,114 TeX

Repository for the Stacks Project

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2013-06-21 · latest 2024-04-14

Mentions per year 3 mentions · busiest year 2024 (2)
20082026
  1. …to the literature in their stead), but ultimately it is still mostly a one-person project (see https://github.com/stacks/stacks-project/graphs/contributors ). I once filled in one of those missing proofs, only to see Johan replace it by a…
  2. …bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen... At a high level they use plastex https://github.com/plastex/plastex to…
  3. …I counted 93 contributors on the first page. Also, the LaTeX source is freely available on github. https://github.com/stacks/stacks-project