Apparently, this user prefers to keep an air of mystery about them.
- Computer Science 2.1k 2.1k 1616 silver badges2424 bronze badges
- Mathematics 1k 1k 22 gold badges1111 silver badges2222 bronze badges
- Stack Overflow 647 647 44 silver badges1212 bronze badges
- Code Review 261 261 11 silver badge55 bronze badges
- Theoretical Computer Science 213 213 11 silver badge66 bronze badges
- View network profile
Top network posts
- 32 Equivalence of Büchi automata and linear $\mu$-calculus
- 30 What does 'true concurrency' mean?
- 28 How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
- 26 What are the conditions for a NFA for its equivalent DFA to be maximal in size?
- 23 Dependent types vs refinement types
- 21 What is MonadBaseControl for?
- 20 Why are there so many programming languages?
- View more network posts →