https://github.com/o-morikawa/highercup

Symbolic manipulation of Steenrod higher cups

cup cup-product higher-category-theory higher-cup homotopy homotopy-type-theory steenrod symbolic-mani

Last synced: 04 Apr 2025