Cohomology in HoTT
Coq
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
.gitignore
README.md
adjunction_smash_hom.v
loop_spaces.v
pointed_spaces.v
reduced_suspension.v
smash_product.v
some_lemmas.v
spectra.v
tactics.v

README.md

HoTT_Cohomology

Cohomology in HoTT