H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 20 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 28, 2023 — Apr 28, 2024 Showing page 9 of 46 Search / Filter on:
Add a licensing statement in README.md.	favonia	More...				about 7 years ago
Introduce a new type-checking round for travis.	favonia	More...				about 7 years ago
Restore cohomology.MayerVietoris.	favonia	More...				about 7 years ago
Restore cohomology.InverseInSusp.	favonia	More...				about 7 years ago
Rename [C-fmap-base-indep].	favonia	More...				about 7 years ago
Merge cohomology.{Unit,BaseIndependence,Functor} into cohomology.Theory.	favonia	More...				about 7 years ago
(Again) match the indentation in my thesis.	favonia	More...				about 7 years ago
Match the indentation in my thesis.	favonia	More...				about 7 years ago
Remove the false negative in travis checking.	favonia	More...				about 7 years ago
Revert the name change in ReconstructedCohomologyGroups.agda.	favonia	More...				about 7 years ago
Mark more stuff abstract.	favonia	More...				about 7 years ago
Simplify cohomology.Unit.	favonia	More...				about 7 years ago
Update the README.	favonia	More...				about 7 years ago
Try to match my thesis more closely.	favonia	More...				about 7 years ago
It's 2017!	favonia	More...				about 7 years ago
Fix typo.	favonia	More...				about 7 years ago
Tweaks to match my thesis perfectly.	favonia	More...				about 7 years ago
Add more explanation for possible non-injectivity of [Skeleton].	favonia	More...				about 7 years ago
Really fix the comment.	favonia	More...				about 7 years ago
Fix the comment.	favonia	More...				about 7 years ago
Put groupoids in a separate folder.	favonia	More...				about 7 years ago
Update and restore cohomology.Torus.	favonia	More...				about 7 years ago
Update cohomology.Wedge and simplify cohomology.Sigma.	favonia	More...				about 7 years ago
Update cohomology.Sigma and cohomology.Coproduct.	favonia	More...				about 7 years ago
Integrate SplitExactRight and update ProductRepr.	favonia	More...				about 7 years ago
Pointed types are no longer pairs of sigma types.	favonia	More...				about 7 years ago
Isomorphisms between the cochains and the heads.	favonia	More...				about 7 years ago
Remove trailing spaces.	favonia	More...				about 7 years ago
travis_wait does not work with ts.	favonia	More...				about 7 years ago
Move lemmas about pointed maps from Booleans.	favonia	More...				about 7 years ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
45
46
→