Skip to content

Commit

Permalink
adding homotopy to coq project
Browse files Browse the repository at this point in the history
  • Loading branch information
@zstone1
zstone1 committed Oct 20, 2022
1 parent cdf7849 commit 881569b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions _CoqProject
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 881569b

Please sign in to comment.