Geometric Type Theory, Done Two Ways

(topos.institute) by measurablefunc | Sep 24, 2026 | 0 comments on HN