-
Notifications
You must be signed in to change notification settings - Fork 70
Pull requests: UniMath/agda-unimath
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Renamings and rewordings OFS
foundation
improve naming
orthogonal-factorization-systems
#1188
opened Oct 3, 2024 by
fredrik-bakke
Loading…
Abelian ∞-groups
higher-group-theory
synthetic-homotopy-theory
#1178
opened Sep 4, 2024 by
fredrik-bakke
•
Draft
Cleanup of @spcfox's modal logic pull request
logic
#1170
opened Aug 27, 2024 by
EgbertRijke
•
Draft
Unbounded π-finite types
univalent-combinatorics
#1168
opened Aug 24, 2024 by
fredrik-bakke
Loading…
Continuation modalities and Lawvere–Tierney topologies
foundation
orthogonal-factorization-systems
#1157
opened Jul 6, 2024 by
fredrik-bakke
Loading…
Descent and induction principle of identity types of coequalizers
enhancement
New feature or request
synthetic-homotopy-theory
#1140
opened May 18, 2024 by
VojtechStep
•
Draft
Functoriality of morphisms of arrows
foundation
orthogonal-factorization-systems
#1130
opened Apr 26, 2024 by
fredrik-bakke
•
Draft
Simplicial Type Theory
do not merge
simplicial-type-theory
#1118
opened Apr 18, 2024 by
fredrik-bakke
•
Draft
Displayed precategories
category-theory
low-priority
#922
opened Nov 16, 2023 by
fredrik-bakke
•
Draft
Refactor graphs with updates from Beyond finite sets
graph-theory
refactoring
#879
opened Oct 22, 2023 by
EgbertRijke
•
Draft
Cleaning up for homotopy groups
group-theory
higher-group-theory
synthetic-homotopy-theory
#836
opened Oct 13, 2023 by
EgbertRijke
•
Draft
Beyond finite sets
category-theory
cleanup
graph-theory
group-theory
refactoring
trees
univalent-combinatorics
#623
opened May 15, 2023 by
EgbertRijke
•
Draft
ProTip!
Add no:assignee to see everything that’s not assigned.