A library to reason about 1-coherent and 2-coherent diagrams and their (co)limits in Homotopy Type Theory.
Primary LanguageCoq