Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
47 Open 1,218 Closed
47 Open 1,218 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Pushouts and pullbacks in categories category-theory refactoring
#1448 opened Jun 18, 2025 by ben-connors • Draft
6
Metric semigroups analysis metric-spaces
#1447 opened Jun 17, 2025 by malarbol Loading…
13
Multivariable polynomial functors trees
#1446 opened Jun 16, 2025 by fredrik-bakke Loading…
Series and convergence analysis
#1445 opened Jun 15, 2025 by lowasser Loading…
4
Update category theory tables and define category of simplicial sets category-theory
#1440 opened Jun 5, 2025 by fredrik-bakke Loading…
RFC: Functor currying category-theory
#1433 opened May 19, 2025 by arnoudvanderleer Loading…
@VojtechStep
1
Refactor metric spaces do not merge metric-spaces
#1432 opened May 18, 2025 by malarbol Loading…
2
Self-review guidelines for maintainers documentation Improvements or additions to documentation
#1430 opened May 14, 2025 by fredrik-bakke Loading…
1
Extension rational real functions (WIP) elementary-number-theory metric-spaces real-numbers
#1429 opened May 13, 2025 by malarbol • Draft
large premetric spaces metric-spaces
#1426 opened May 8, 2025 by malarbol • Draft
7
Replace symbol for similarity improve naming
#1423 opened May 3, 2025 by fredrik-bakke Loading…
1
Dedekind finiteness of various notions of finite type elementary-number-theory foundation univalent-combinatorics
#1422 opened May 2, 2025 by fredrik-bakke Loading…
1
Link styling tweaks enhancement New feature or request website
#1413 opened Apr 25, 2025 by fredrik-bakke Loading…
3 tasks done
sequences large preorders/posets
#1399 opened Apr 7, 2025 by malarbol • Draft
2
simplicial type theory
#1393 opened Apr 2, 2025 by EgbertRijke • Draft
More logic foundation logic
#1387 opened Mar 28, 2025 by fredrik-bakke Loading…
97
Multiplication of real numbers real-numbers
#1384 opened Mar 26, 2025 by lowasser • Draft
1
1
Constancy of maps foundation
#1383 opened Mar 26, 2025 by fredrik-bakke Loading…
Preview: depostulate axioms do not merge experiment
#1380 opened Mar 24, 2025 by fredrik-bakke Loading…
3
Level-polymorphic commutative monoid of lower and upper Dedekind real numbers under addition real-numbers
#1377 opened Mar 23, 2025 by lowasser • Draft
1
Equivalence between a type and the coproduct of a decidable subtype and its complement foundation logic
#1376 opened Mar 23, 2025 by lowasser • Draft
11
Remove dependency between BUILTIN and postulates elementary-number-theory experiment foundation refactoring reflection
#1373 opened Mar 20, 2025 by fredrik-bakke Loading…
3
Zigzag construction of identity types of pushouts enhancement New feature or request 🏆 milestone 🏆 synthetic-homotopy-theory
#1370 opened Mar 18, 2025 by VojtechStep • Draft
1 of 5 tasks
6
Streams lists
#1368 opened Mar 17, 2025 by djspacewhale • Draft
1
Add equifibered dependent span diagrams and improve universe polymorphism for descent data of pushouts synthetic-homotopy-theory
#1366 opened Mar 15, 2025 by fredrik-bakke Loading…
2 of 4 tasks
ProTip! Filter pull requests by the default branch with base:master.