A formalization of (homotopy) limits in Homotopy Type Theory
Primary LanguageCoq
No issues in this repository yet.