nLab homotopy type theory events

This page collects programs, slides, and other resources of homotopy type theory workshops, meetings, and other events.

Perennial events


Other events

  • Cortona UniMath school, July 17-23, 2022, Cortona, Italy


category: reference

Last revised on July 26, 2022 at 14:25:37. See the history of this page for a list of all contributions to it.