H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 28, 2023 — Apr 28, 2024 Showing page 5 of 46 Search / Filter on:
Finished fixing index.agda, index2.agda and index3.agda	Guillaume Brunerie	More...				over 6 years ago
Using instance arguments to make Agda understand automatically why types are of some level, HoTT.agda is working, I haven’t touched the rest yet	Guillaume Brunerie	More...				over 6 years ago
Functoriality on maps from cogroups is group homomorphism.	favonia	More...				over 6 years ago
Add fold-fmap.	favonia	More...				over 6 years ago
Add C-fold and rename the lemmas.	favonia	More...				over 6 years ago
Minor name updates.	favonia	More...				over 6 years ago
Remove builtin REFL and bump Agda version to 2.5.3. Close #27.	favonia	More...				over 6 years ago
Finite CW complexes generated by Fin.	favonia	More...				over 6 years ago
Fin has dec eq.	favonia	More...				over 6 years ago
Fin always has choice.	favonia	More...				over 6 years ago
Update the Travis script.	favonia	More...				almost 7 years ago
Add the lemma about covers of the circle.	favonia	More...				almost 7 years ago
Covering spaces indexed by the circle.	favonia	More...				almost 7 years ago
Change the definition of HSpace.	favonia	More...				almost 7 years ago
Group structures from Susp through cogroups.	favonia	More...				almost 7 years ago
Update the code about the groups.	favonia	More...				almost 7 years ago
Suspension is a cogroup.	favonia	More...				almost 7 years ago
Suspension is a cogroup (WIP).	favonia	More...				almost 7 years ago
Cogroups.	favonia	More...				almost 7 years ago
Use homotopies for pointed maps and update CoHSpace.	favonia	More...				almost 7 years ago
Associativity of binary wedges.	favonia	More...				almost 7 years ago
Make smin pt pt the point.	favonia	More...				almost 7 years ago
Update HIT_README.txt. Address issue #26.	favonia	More...				almost 7 years ago
Minor style fix.	favonia	More...				almost 7 years ago
Merge	Eric Finster	More...				almost 7 years ago
Merge latest updates	Eric Finster	More...				almost 7 years ago
Update the import paths.	favonia	More...				almost 7 years ago
Fixing the variable naming convention.	favonia	More...				almost 7 years ago
Work on orthogonality and nullification	Eric Finster	More...				almost 7 years ago
Fill in the holes in Orthogonality.	favonia	More...				almost 7 years ago

←
1
2
3
4
5
6
7
8
9
…
45
46
→