Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Studying Homotopy Type Theory.
Interested in Homotopy theory, Algebraic Topology, type theory, and logic.