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