Explorations of (Synthetic) Homotopy Theory in Coqgithub.com/peterlefanulumsdaine2 pointscolinprince9 years ago