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.
Thierry Coquand has a list of open problems, based on Vladimir Voevodsky's research on Dependent Type Theory. Scroll to the end of this presentation.
And I presume you know the HoTT open problem list at nLabnLab.
And I presume you know the HoTT open problem list at nLab
And I presume you know the HoTT open problem list at nLab.
