Apparently, this user prefers to keep an air of mystery about them.
Member for 4 years, 9 months
2 profile views
Last seen Mar 16 '18 at 16:39
Top network posts
- 38 Proof assistants for mathematics
- 27 (Fictive) story of a time where people reasoned only up to isomorphism
- 17 Why is the MacTeX distribution so large? Is there anything smaller for OS X?
- 16 Does the linear automorphism group determine the vector space?
- 16 Witt-vector vectors
- 12 Split rank of inner forms
- 12 Question about definition: what is an affine linear space?
- View more network posts →