Understanding Mathematics Through Lean

Hi! This is my blog. It's for work, but I just write about whatever happens to interest me.

Hope you like this week's post.