Pure mathematician interested in category theory and foundations.
Member for 10 years, 5 months
11 profile views
Last seen Mar 28 at 21:56
- MathOverflow 28.7k 28.7k 66 gold badges8888 silver badges236236 bronze badges
- Mathematics 2k 2k 1414 silver badges3232 bronze badges
- TeX - LaTeX 1.8k 1.8k 11 gold badge1414 silver badges2424 bronze badges
- Science Fiction & Fantasy 1.6k 1.6k 1212 silver badges2121 bronze badges
- Academia 1.2k 1.2k 11 gold badge1111 silver badges2323 bronze badges
- View network profile
Top network posts
- 204 Most memorable titles
- 87 What package allows Elvish in TeX?
- 70 Titles composed entirely of math symbols
- 64 A bestiary of topologies on Sch
- 49 Double blind peer review when paper cites author's GitHub repo for code
- 48 How much of the ATLAS of finite groups is independently checked and/or computer verified?
- 47 How true are theorems proved by Coq?
- View more network posts →