sparusaurata
116
reputation
3
PhD student in mathematics, focused on proof theory and λ-calculus. A bit of $\mathrm{\LaTeX}$ stuff too.