Apparently, this user prefers to keep an air of mystery about them.
23 What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code? Jul 6 '15
4 Categories of finite objects Aug 10 '15
1 Homology of the subcomplexes of the “diamond shaped” sphere under 1-norm in $R^n$ as a simplicial complex Feb 16