H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 13, 2023 — May 13, 2024 Showing page 13 of 46 Search / Filter on:
Fill in the gap in homotopy.LoopSpaceCircle.	favonia	More...				over 7 years ago
Fiberwise equivalences.	favonia	More...				over 7 years ago
Rename disjointly pointed sets.	favonia	More...				over 7 years ago
Add cellular cohomology to index.agda.	favonia	More...				over 7 years ago
Better precedence for square extension operators.	favonia	More...				over 7 years ago
Fill in the gaps in lib.types.CommutingSquare.	favonia	More...				over 7 years ago
Rule out HIT_README.txt.	favonia	More...				over 7 years ago
Functoriality of Pushout-fmap (WIP).	favonia	More...				over 7 years ago
Functoriality of Pushout-fmap (WIP).	favonia	More...				over 7 years ago
Groups in cohomology complexes.	favonia	More...				over 7 years ago
Coboundary grids.	favonia	More...				over 7 years ago
Add the prefix 'cw-' to [incl] for CW complexes.	favonia	More...				over 7 years ago
Rename files and fix InnerGridComm.	favonia	More...				over 7 years ago
Fix cw.cohomology.Ascending.	favonia	More...				over 7 years ago
Add [∘-C-fmap].	favonia	More...				over 7 years ago
Cofiber grids are commuting.	favonia	More...				over 7 years ago
Ascending lemma.	favonia	More...				over 7 years ago
Slightly refactor descending lemmas.	favonia	More...				over 7 years ago
Update testing files.	favonia	More...				over 7 years ago
Descending lemmas.	favonia	More...				over 7 years ago
Descending lemmas (WIP).	favonia	More...				over 7 years ago
Cohomology groups of wedges of cells.	favonia	More...				over 7 years ago
Trichotomy of natural numbers.	favonia	More...				over 7 years ago
Minor updates to cw.CW.	favonia	More...				over 7 years ago
Take advantage of the new lemma about iso.	favonia	More...				over 7 years ago
Reimplement CW complexes and update the examples.	favonia	More...				over 7 years ago
Show lt and leq are props.	favonia	More...				over 7 years ago
Update .gitignore.	favonia	More...				over 7 years ago
Use \neg instead of \bot while pattern matching.	favonia	More...				over 7 years ago
Cohomology groups of sets with distinct points.	favonia	More...				over 7 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
45
46
→