Target: Sequential Colimits in Homotopy Type Theory
VojtechStep opened this issue · 0 comments
VojtechStep commented
I already formalized and documented parts of the paper. I'm assigning myself, because I would like to include this formalization effort in my master's thesis.