formaliz.ing
Notes & Thoughts upon Type Theory, Mathematics, Philosophy, and the Art of Decision
A placeholder. Who you are, what you work on, where else to find you.