Notes & Thoughts upon Type Theory, Mathematics, Philosophy, and the Art of Decision https://formaliz.ing/ 2026-09-26T00:00:00Z MinusGix