- MathOverflow 18.4k 18.4k 55 gold badges6666 silver badges195195 bronze badges
- Mathematics 1.3k 1.3k 99 silver badges2828 bronze badges
- Science Fiction & Fantasy 1.1k 1.1k 88 silver badges1717 bronze badges
- TeX - LaTeX 922 922 11 gold badge88 silver badges2222 bronze badges
- Academia 706 706 88 silver badges1919 bronze badges
- View network profile →
Top network posts
- 81 What package allows Elvish in TeX?
- 69 Titles composed entirely of math symbols
- 59 A bestiary of topologies on Sch
- 47 How much of the ATLAS of finite groups is independently checked and/or computer verified?
- 44 Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
- 43 How true are theorems proved by Coq?
- 40 Double blind peer review when paper cites author's GitHub repo for code
- View more network posts →