Blog

Longer posts on mathematics, formalisation, and the tools I build.