- MathOverflow 26.5k 26.5k 66 gold badges7777 silver badges216216 bronze badges
- Mathematics 1.9k 1.9k 1414 silver badges3030 bronze badges
- TeX - LaTeX 1.7k 1.7k 11 gold badge1313 silver badges2323 bronze badges
- Science Fiction & Fantasy 1.4k 1.4k 1111 silver badges1818 bronze badges
- Academia 1.2k 1.2k 1010 silver badges2121 bronze badges
- View network profile
Top network posts
- 83 What package allows Elvish in TeX?
- 69 Titles composed entirely of math symbols
- 61 A bestiary of topologies on Sch
- 48 How much of the ATLAS of finite groups is independently checked and/or computer verified?
- 46 Double blind peer review when paper cites author's GitHub repo for code
- 44 How true are theorems proved by Coq?
- 44 Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
- View more network posts →