HoTT Meetup (Ch 1. Exercises, Ch. 2 up to Section 2.4)
mar. 30 avril à 01:00
Hey Everyone! After a slight hiatus due to some poorly timed work + vacation stuff, we're back. We'll cover the exercises for Ch.1 as promised, and continue on with building an understanding of homotopy (of which I'll provide some additional notes)
Nous avons temporairement désactivé la possibilité de naviguer vers les tags.