Homotopy Type Theory
Resources

Introductory courses

Books

Other