Apparently, this user prefers to keep an air of mystery about them.
28 Proof assistants for mathematics Dec 8 '09
14 Witt-vector vectors Jan 17
6 Explicit formula for the trace of an unramified principal series representation of $GL(n,K)$, $K$ $p$-adic. May 9 '11
6 Is Howe's construction of tame supercuspidal representations independent of additive character? Mar 8