adding homotopy to coq project

zstone1 · zstone1 · commit d3a4cc1a97f7 · 2022-10-28T10:25:24.000-04:00
diff --git a/_CoqProject b/_CoqProject
@@ -38,6 +38,7 @@ theories/numfun.v
 theories/lebesgue_integral.v
 theories/summability.v
 theories/signed.v
+theories/homotopy.v
 theories/altreals/xfinmap.v
 theories/altreals/discrete.v
 theories/altreals/realseq.v
