/central-types

Formalization of the paper "Central H-spaces and banded types"

Primary LanguageCoq

Watchers