@KamerynJW The result of this School is recorded here in GitHub, with 27 contributors, and in YouTube (linked from GitHub):<br><a href="https://github.com/martinescardo/HoTTEST-Summer-School">https://github.com/martinescardo/HoTTEST-Summer-School</a>

Martin Escardo

@EscardoMartin

@KamerynJW The result of this School is recorded here in GitHub, with 27 contributors, and in YouTube (linked from GitHub):
https://github.com/martinescardo/HoTTEST-Summer-School

06/11/2022, 18:36:51

Favs: 6

Retweets: 0

link

Martin Escardo

@EscardoMartin

@KamerynJW The original idea of this School is due to @emilyriehl and @EgbertRijke . They invited everybody else, including me.

06/11/2022, 18:42:50

Favs: 5

Retweets: 0

link