A textbook on informal homotopy type theory
Why do you think that https://github.com/martinescardo/HoTTEST-Summer-School is a good alternative to book
A textbook on informal homotopy type theory
Why do you think that https://github.com/martinescardo/HoTTEST-Summer-School is a good alternative to book