openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
H
HoTT-Agda
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 7 hours
ago. based on code collected
1 day
ago.
Mar 28, 2023 — Mar 28, 2024
Showing page 1 of 46
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Cup Products, stage 2 (#47)
Tim Baumann
More...
about 5 years ago
Update README.
favonia
More...
over 5 years ago
Fix the code from #29 and add it to the index.
favonia
More...
over 5 years ago
Add BAut types and two equivalent types of finite sets (#29)
Ulrik Buchholtz
More...
over 5 years ago
[ .agda-lib files ] Convenient renaming (#48)
Jonathan Prieto-Cubides
More...
over 5 years ago
Simplify cp₀₁-distr-l-coh
Tim J. Baumann
More...
over 5 years ago
Formulate coherence coh-unit-l for associative H-spaces
Tim J. Baumann
More...
over 5 years ago
Refactor: beta-rule of mult-emloop
Tim J. Baumann
More...
over 5 years ago
Some bikeshedding in homotopy.Pi2HSuspCompose
Tim J. Baumann
More...
over 5 years ago
Simplify coherence proof for fun-cat
Tim J. Baumann
More...
over 5 years ago
Refactor coherence of app=-functor: More uniform reasoning
Tim J. Baumann
More...
over 5 years ago
Simplify proof of left unit law for h-structure on EM₁
Tim J. Baumann
More...
over 5 years ago
Refactor =ₜ-equiv: Pull out =ₜ-refl
Tim J. Baumann
More...
over 5 years ago
Generalize cup product maps using tensor product (#46)
Tim Baumann
More...
over 5 years ago
Simplify definition of inverse 2-semifunctor
Tim J. Baumann
More...
over 5 years ago
Refactor homotopy.EilenbergMacLane1
Tim J. Baumann
More...
over 5 years ago
Update ACKNOWLEDGMENTS. (#45)
favonia
More...
over 5 years ago
Define cup product in degrees 0 and 1 (#41)
Tim Baumann
More...
over 5 years ago
[ PathOver ] Change types variables to be uppercase (#43)
Jonathan Prieto-Cubides
More...
almost 6 years ago
Document files in theorems/{homotopy,cohomology}/ (#40)
Tim Baumann
More...
almost 6 years ago
Follow travis' convention.
favonia
More...
about 6 years ago
Simplify groups.SumOfSubIndicator.
favonia
More...
about 6 years ago
Refactor ReconstructedCochainsEquivCellularCochains.
favonia
More...
about 6 years ago
New travis script to test the growing repository.
favonia
More...
about 6 years ago
Add the new theorem into the index.
favonia
More...
about 6 years ago
Remove unused code in FinCW.
favonia
More...
about 6 years ago
Finite cases of Conjecture 3.5.3 done, but still too slow.
favonia
More...
about 6 years ago
Reorganize files and drop equivalences in ReconstructedCochainsEquivCellularCochains.
favonia
More...
about 6 years ago
Ker/Im-emap.
favonia
More...
about 6 years ago
A step towards the holy grail of the cochain equivalence.
favonia
More...
about 6 years ago
←
1
2
3
4
5
6
7
8
9
…
45
46
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree