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.

An RSS feed for this site is available here. Some of my recent posts include:

For older posts, please see the archives.