My name is Forest Belton. I'm a software engineer primarily interested in type theory and the foundations of mathematics. My current and past projects are available on my GitHub.

I hope to share what I have learned and make the findings available here. Some of my recent posts include:

For older posts, please see the archives.