formaliz.ing
Notes & Thoughts upon Type Theory, Mathematics, Philosophy, and the Art of Decision
Projects, artefacts, and other made objects.
Nothing has yet been set in type.