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