Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
49 Open 1,243 Closed
49 Open 1,243 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

Induced metric space of pseudometric spaces
#1484 opened Aug 17, 2025 by malarbol Loading…
Category of algebras of a theory
#1483 opened Aug 16, 2025 by djspacewhale Loading…
Decomposition of metric spaces into subspaces of elements at bounded distance metric-spaces
#1482 opened Aug 16, 2025 by malarbol Loading…
2
Sequences rings (WIP) ring-theory
#1480 opened Aug 13, 2025 by malarbol • Draft
Grothendieck groups of commutative monoids group-theory
#1479 opened Aug 13, 2025 by lowasser Loading…
23
Bump Agda to 2.8.0 repo-maintenance
#1477 opened Aug 11, 2025 by fredrik-bakke • Draft
Move sequences to lists package foundation lists refactoring
#1476 opened Aug 10, 2025 by lowasser Loading…
Arithmetic and geometric sequences in semirings ring-theory
#1475 opened Aug 10, 2025 by malarbol Loading…
17
Topology in metric spaces
#1474 opened Aug 10, 2025 by lowasser • Draft
Sums of finite arithmetic sequences in semirings elementary-number-theory ring-theory
#1472 opened Aug 8, 2025 by lowasser Loading…
13
Free magmas foundation structured-types trees
#1459 opened Jul 27, 2025 by djspacewhale • Draft
20
Rational abelian groups elementary-number-theory group-theory
#1451 opened Jul 10, 2025 by djspacewhale • Draft
2
Refactor metric spaces metric-spaces real-numbers
#1450 opened Jul 9, 2025 by malarbol Loading…
@malarbol
170
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 • Draft
27
RFC: Functor currying category-theory
#1433 opened May 19, 2025 by arnoudvanderleer Loading…
@VojtechStep
1
Self-review guidelines for maintainers documentation Improvements or additions to documentation
#1430 opened May 14, 2025 by fredrik-bakke • Draft
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
Link styling tweaks enhancement New feature or request website
#1413 opened Apr 25, 2025 by fredrik-bakke Loading…
3 tasks done
6
sequences large preorders/posets
#1399 opened Apr 7, 2025 by malarbol • Draft
2
simplicial type theory
#1393 opened Apr 2, 2025 by EgbertRijke • Draft
Multiplication of real numbers real-numbers
#1384 opened Mar 26, 2025 by lowasser Loading…
1
3
Preview: depostulate axioms do not merge experiment
#1380 opened Mar 24, 2025 by fredrik-bakke Loading…
3
ProTip! Updated in the last three days: updated:>2025-08-14.