- Mathematics 1.3k 1.3k 11 gold badge88 silver badges1111 bronze badges
- Computer Science 795 795 11 gold badge44 silver badges99 bronze badges
- Stack Overflow 431 431 11 gold badge44 silver badges1111 bronze badges
- Mathematics Educators 174 174 22 bronze badges
- MathOverflow 131 131 11 gold badge22 silver badges55 bronze badges
- View network profile →
Top network posts
- 11 Why Term Rewriting?
- 9 Why is it bad to pick basis for a vector space?
- 9 continuations as meaningful comprehensions
- 7 Is path induction constructive?
- 7 Recursive definition of Matrix
- 7 Mimicking Haskell canonicity (one-instance only) of typeclasses in Agda
- 6 Dependent Types in C#: making the output type depend on the input value
- View more network posts →