HoTT Coqs