Skip to content

Pull requests: agda/cubical

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Define multicategories
#1212 opened May 28, 2025 by anshwad10 Draft
Make join-assoc level-polymorphic
#1204 opened May 5, 2025 by ricky136973 Loading…
Some properties of connected spaces
#1202 opened Mar 7, 2025 by phijor Loading…
Define Dagger categories
#1201 opened Mar 2, 2025 by anshwad10 Loading…
7 tasks done
Missed rename of Precat to WildCat
#1200 opened Feb 28, 2025 by anshwad10 Loading…
Decidable reachability for finite quivers
#1198 opened Feb 26, 2025 by stschaef Loading…
Strict monoidal categories are strict categories
#1196 opened Feb 22, 2025 by anshwad10 Loading…
Add Posetal Reflections
#1191 opened Feb 20, 2025 by anshwad10 Draft
Add Rezk Completion by HIT
#1188 opened Feb 16, 2025 by anshwad10 Loading…
Theory of Symmetric Groups
#1187 opened Feb 14, 2025 by anshwad10 Loading…
Book cauchy reals
#1182 opened Jan 22, 2025 by marcinjangrzybowski Draft
MaxZX
#1167 opened Nov 12, 2024 by FranziskusWiesnet Draft
Determinant and Adjugate Matrix
#1165 opened Oct 30, 2024 by FranziskusWiesnet Loading…
Clean up code in BinProduct.
#1159 opened Oct 21, 2024 by anuyts Loading…
WellFounded: Well-founded relations are irreflexive.
#1158 opened Sep 24, 2024 by shlevy Loading…
CommAlgebras as CommRingHoms
#1145 opened Jul 30, 2024 by felixwellen Draft
Containers, no h-set assumptions
#1141 opened Jul 23, 2024 by aljungstrom Loading…
ProTip! Updated in the last three days: updated:>2025-05-28.