agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Central H-spaces

Open EgbertRijke opened this issue 1 year ago • 3 comments

Some work on central H-spaces

EgbertRijke avatar Apr 17 '24 12:04 EgbertRijke

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

EgbertRijke avatar Apr 18 '24 17:04 EgbertRijke

Sorry about the delay on this one

fredrik-bakke avatar May 23 '24 15:05 fredrik-bakke