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 8 of 46 Search / Filter on:
Preserving equivalence without univalence.	favonia	More...				about 7 years ago
Merge branch 'master' of https://github.com/HoTT/HoTT-Agda	Eric Finster	More...				about 7 years ago
wedge extension (rough)	Eric Finster	More...				about 7 years ago
Update FiberOfWedgeToProduct.	favonia	More...				about 7 years ago
Merge branch 'master' of https://github.com/HoTT/HoTT-Agda	Eric Finster	More...				about 7 years ago
start on gbm	Eric Finster	More...				about 7 years ago
Notation updates.	favonia	More...				about 7 years ago
finish sigma	Eric Finster	More...				about 7 years ago
Finish modal conn elim	Eric Finster	More...				about 7 years ago
Merge branch 'master' of https://github.com/HoTT/HoTT-Agda	Eric Finster	More...				about 7 years ago
towards modal conn elim	Eric Finster	More...				about 7 years ago
Use path induction magic.	favonia	More...				about 7 years ago
Merge branch 'master' of https://github.com/HoTT/HoTT-Agda	Eric Finster	More...				about 7 years ago
Some work on new wedge elim	Eric Finster	More...				about 7 years ago
(Really) enable the license detection.	favonia	More...				about 7 years ago
Functions in both directions in FiberOfWedgeToProduct.	favonia	More...				about 7 years ago
Fix the type.	favonia	More...				about 7 years ago
Really enable the auto detection (hopefully).	favonia	More...				about 7 years ago
Restructure the license file to enable auto detection.	favonia	More...				about 7 years ago
Tweak NConnected again for faster type checking.	favonia	More...				about 7 years ago
Add --rewriting.	favonia	More...				about 7 years ago
Tweak NConnected a little bit.	favonia	More...				about 7 years ago
FiberedPushout revamped.	favonia	More...				about 7 years ago
Add --rewriting.	favonia	More...				about 7 years ago
Merge branch 'master' of https://github.com/HoTT/HoTT-Agda	Eric Finster	More...				about 7 years ago
Add new wedge elim	Eric Finster	More...				about 7 years ago
Add Eric Finster to LICENSE and README.	favonia	More...				about 7 years ago
Add modality and gbm stubs	Eric Finster	More...				about 7 years ago
Further tweak the abstraction level.	favonia	More...				about 7 years ago
Change the abstraction level because of a request.	favonia	More...				about 7 years ago

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