Member for 11 years, 10 months
Pure mathematician interested in category theory and foundations.
- MathOverflow 29.8k 29.8k 66 gold badges9393 silver badges248248 bronze badges
- Mathematics 2.1k 2.1k 1616 silver badges3737 bronze badges
- TeX - LaTeX 1.8k 1.8k 11 gold badge1414 silver badges2424 bronze badges
- Science Fiction & Fantasy 1.8k 1.8k 1313 silver badges2222 bronze badges
- Academia 1.3k 1.3k 11 gold badge1111 silver badges2424 bronze badges
- View network profile
Top network posts
- 208 Most memorable titles
- 88 What package allows Elvish in TeX?
- 70 Titles composed entirely of math symbols
- 65 A bestiary of topologies on Sch
- 51 Double blind peer review when paper cites author's GitHub repo for code
- 49 How much of the ATLAS of finite groups is independently checked and/or computer verified?
- 48 How true are theorems proved by Coq?
- View more network posts →
This user doesn’t have any gold badges yet.