Looks like an interesting topic, but I’m too busy to read it, so just share π

Homotopy Type Theory and Univalent Foundations

Homotopy Type Theory

Skip to content
# Homotopy Type Theory

Looks like an interesting topic, but I’m too busy to read it, so just share π

Homotopy Type Theory and Univalent Foundations

Homotopy Type Theory

- PRACE Summer of HPC
- MultiBootUSB