H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 07, 2023 — Jun 07, 2024 Showing page 15 of 46 Search / Filter on:
Cofiber squares in the triangular diagram.	favonia	More...				over 7 years ago
Separating out pointedness proofs.	favonia	More...				over 7 years ago
Remove unused lemmas.	favonia	More...				over 7 years ago
homotopy.TorusIsProductCircles is not finished yet.	favonia	More...				over 7 years ago
Greatly simplify homotopy.PropJoinProp.	favonia	More...				over 7 years ago
Fix homotopy.PropJoinProp.	favonia	More...				over 7 years ago
Give up checking the 3x3 lemma on travis.	favonia	More...				over 7 years ago
Update index.agda to check more results.	favonia	More...				over 7 years ago
Renaming lemmas about PathOver.	favonia	More...				over 7 years ago
Fix cohomology.EMModel.	favonia	More...				over 7 years ago
More group theory and rename 'Quotient' to 'Quot'.	favonia	More...				over 7 years ago
Remove the module to be subsumed.	favonia	More...				over 7 years ago
Clarify the naming convention of `is`.	favonia	More...				over 7 years ago
Introducing Group.diff and is-trivial.	favonia	More...				over 7 years ago
Remove redundant code.	favonia	More...				over 7 years ago
Cofiber telescoping.	favonia	More...				over 7 years ago
Refactor lib.groups.CommutingSquare.	favonia	More...				over 7 years ago
Unify [Pushout-emap] and its derivatives (WIP).	favonia	More...				over 7 years ago
Temporarily comment out more files.	favonia	More...				over 7 years ago
Comment out Eilenberg-Mac Lane cohomology theories temporarily.	favonia	More...				over 7 years ago
Long exact cofiber sequences redone.	favonia	More...				over 7 years ago
homotopy.PushoutFlip was merged into core.	favonia	More...				over 7 years ago
Remove [htpy-natural] in favor of manipulating [PathOver].	favonia	More...				over 7 years ago
Show Agda version in travis.	favonia	More...				over 7 years ago
Cofiber sequences redone (WIP).	favonia	More...				over 7 years ago
Refactor Eilenberg-MacLane spaces.	favonia	More...				over 7 years ago
Update index.agda.	favonia	More...				over 7 years ago
Exact sequences redone to reduce usage of univalence.	favonia	More...				over 7 years ago
Rename PQSquare to PropQuotUniqueFactorization.	favonia	More...				over 7 years ago
Recreate [has-finite-supports].	favonia	More...				over 7 years ago

←
1
2
…
11
12
13
14
15
16
17
18
19
…
45
46
→