H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 23 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 4 of 46 Search / Filter on:
Refactor.	favonia	More...				over 6 years ago
Refactor the code.	favonia	More...				over 6 years ago
Slightly refactor theorems.homotopy.Freudenthal.	favonia	More...				over 6 years ago
Add ⊙Bool→-equiv-idf-nat.	favonia	More...				over 6 years ago
Main theorem obtained by the truncation-loop ladder.	favonia	More...				over 6 years ago
Introduce CommSquareEquiv.	favonia	More...				over 6 years ago
Prove equivalent lemmas for the alt. def. of homotopy groups.	favonia	More...				over 6 years ago
Fix the wrong defs of concatenations and inverses.	favonia	More...				over 6 years ago
Refactor code.	favonia	More...				over 6 years ago
Add Trunc-csmap.	favonia	More...				over 6 years ago
Rephrase the typing of Trunc-fpmap (the naming is still bad).	favonia	More...				over 6 years ago
Conversion of loops into suspensions.	favonia	More...				over 6 years ago
Rename pillar to rail.	favonia	More...				over 6 years ago
Remove the erroneous 'S'.	favonia	More...				over 6 years ago
The ladder to move truncation out.	favonia	More...				over 6 years ago
Update naming convention.	favonia	More...				over 6 years ago
Vertical composition of pointed commuting squares.	favonia	More...				over 6 years ago
Omega and pointed commuting squares.	favonia	More...				over 6 years ago
Pointed version of Trunc-fmap.	favonia	More...				over 6 years ago
Pointed commuting squares.	favonia	More...				over 6 years ago
Naturality of Trunc=-equiv.	favonia	More...				over 6 years ago
Remove the unused convention `equiv-N`.	favonia	More...				over 6 years ago
Fix type signature of concat (#34)	Vikraman Choudhury	More...				over 6 years ago
Add the alternative Freudenthal.	favonia	More...				over 6 years ago
Introduce the alternative iterated loop spaces.	favonia	More...				over 6 years ago
Merge pull request #32 from HoTT/instancearguments	Guillaume Brunerie	More...				over 6 years ago
change has-level-make to has-level-in	Guillaume Brunerie	More...				over 6 years ago
More on infinite cyclic groups.	favonia	More...				over 6 years ago
Pointed groups.	favonia	More...				over 6 years ago
Remove warning about “empty abstract block.”	Alexander Ronald Altman	More...				over 6 years ago

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