Actually, category theory, type theory, *and* proof theory.

		lo_zamoyski on Sept 28, 2023 \| parent \| context \| favorite \| on: RZK: Experimental proof assistant for synthetic ∞-... Actually, category theory, type theory, and proof theory.