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 June 18, 2022 at 04:43:12. See the history of this page for a list of all contributions to it.