Type Theory vs Homotopy Type Theory vs Univalent Foundation

By Xah Lee. Date: 2025-03-25.

2025-03-25

What's the difference between homotopy type theory vs type theory

homotopy type theory vs type theory 2025-03-25 — homotopy type theory vs type theory 2025-03-25

https://x.com/i/grok/share/ncFc30TD06oAH5jdj1i8yFLfV

2025-03-22

whats the difference between homotopy type theory vs univalent foundation

grok answers

homotopy type theory vs univalent 2025-03-25 — homotopy type theory vs univalent 2025-03-25

https://x.com/i/grok/share/M73m6mSehGKPObXTRYe1CTtqR

Math Foundation, type theory, proof theory