Ask and ye shall find.
- Stack Overflow 1.9k 1.9k 11 gold badge1414 silver badges2929 bronze badges
- Theoretical Computer Science 375 375 11 silver badge99 bronze badges
- Computer Science 358 358 11 silver badge88 bronze badges
- TeX - LaTeX 285 285 22 silver badges88 bronze badges
- MathOverflow 273 273 11 silver badge77 bronze badges
- View network profile
Top network posts
- 20 Assisting Agda's termination checker
- 17 How to replace Kate regular expression
- 15 What is idiomatic use of arbitrary blocks in C?
- 15 When is the category of models of a limit theory a topos?
- 12 Eta expansion in the pattern lambda calculus
- 12 Coq: Prop versus Set in Type(n)
- 11 Shared variable in Haskell parMap
- View more network posts →