Target: Sequential Colimits in Homotopy Type Theory

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

222 stars 71 forks source link

Target: Sequential Colimits in Homotopy Type Theory #1080

Open VojtechStep opened 8 months ago

VojtechStep commented 8 months ago

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.