@EgbertRijke
Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him