0
I Use This!
Inactive

Commits : Listings

Analyzed about 7 hours ago. based on code collected 1 day ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Cup Products, stage 2 (#47) More... about 5 years ago
Update README. More... over 5 years ago
Fix the code from #29 and add it to the index. More... over 5 years ago
Add BAut types and two equivalent types of finite sets (#29) More... over 5 years ago
[ .agda-lib files ] Convenient renaming (#48) More... over 5 years ago
Simplify cp₀₁-distr-l-coh More... over 5 years ago
Formulate coherence coh-unit-l for associative H-spaces More... over 5 years ago
Refactor: beta-rule of mult-emloop More... over 5 years ago
Some bikeshedding in homotopy.Pi2HSuspCompose More... over 5 years ago
Simplify coherence proof for fun-cat More... over 5 years ago
Refactor coherence of app=-functor: More uniform reasoning More... over 5 years ago
Simplify proof of left unit law for h-structure on EM₁ More... over 5 years ago
Refactor =ₜ-equiv: Pull out =ₜ-refl More... over 5 years ago
Generalize cup product maps using tensor product (#46) More... over 5 years ago
Simplify definition of inverse 2-semifunctor More... over 5 years ago
Refactor homotopy.EilenbergMacLane1 More... over 5 years ago
Update ACKNOWLEDGMENTS. (#45) More... over 5 years ago
Define cup product in degrees 0 and 1 (#41) More... over 5 years ago
[ PathOver ] Change types variables to be uppercase (#43) More... almost 6 years ago
Document files in theorems/{homotopy,cohomology}/ (#40) More... almost 6 years ago
Follow travis' convention. More... about 6 years ago
Simplify groups.SumOfSubIndicator. More... about 6 years ago
Refactor ReconstructedCochainsEquivCellularCochains. More... about 6 years ago
New travis script to test the growing repository. More... about 6 years ago
Add the new theorem into the index. More... about 6 years ago
Remove unused code in FinCW. More... about 6 years ago
Finite cases of Conjecture 3.5.3 done, but still too slow. More... about 6 years ago
Reorganize files and drop equivalences in ReconstructedCochainsEquivCellularCochains. More... about 6 years ago
Ker/Im-emap. More... about 6 years ago
A step towards the holy grail of the cochain equivalence. More... about 6 years ago