-
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
Abelian ∞-groups
higher-group-theory
synthetic-homotopy-theory
#1178
opened Sep 4, 2024 by
fredrik-bakke
•
Draft
Throw error when
{{#bibliography}}
is invoked but the reference list is empty
CI
do not merge
fix
#1177
opened Sep 3, 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…
Metric spaces
elementary-number-theory
metric-spaces
real-numbers
#1162
opened Aug 11, 2024 by
malarbol
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
Add interactive library explorer
enhancement
New feature or request
website
#1138
opened May 10, 2024 by
VojtechStep
•
Draft
Refactor coproduct equivalences
foundation
univalent-combinatorics
#1137
opened May 5, 2024 by
morphismz
Loading…
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!
Find all pull requests that aren't related to any open issues with -linked:issue.