This is your work, valued
TypingFlags. A Coq plugin to disable positivity check, guard check and termination check
hott-colimits. Coq
ModelStructure-HTS. formalization of model structures in Homotopy Type System (in Coq)
