search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
211 stars 67 forks source link

Central H-spaces #1116

Open EgbertRijke opened 2 months ago

EgbertRijke commented 2 months ago

Some work on central H-spaces

EgbertRijke commented 2 months ago

I am opening this pull request for review, because I am not able to work much on it anymore in the coming weeks.

fredrik-bakke commented 1 month ago

Sorry about the delay on this one