ericrbg

Recent MSc Maths graduate, KCL Mathlib reviewer.