Pi Day
A post calculating an estimation of pi for pi day!
Anna's Blog
Latest posts
Formalising Domain Theory with Lean
A more in depth look at some of the problems I encountered in my summer research project.
Ten Pointless Facts About Me
A post in which I answer ten random questions about myself.
Pi Day
A post calculating an estimation of pi for pi day!