Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
66 Open 1,403 Closed
66 Open 1,403 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

chore: Fix two sections on connected/truncated maps foundation
#1727 opened Nov 24, 2025 by fredrik-bakke Loading…
Initial metric extensions of pseudometric spaces metric-spaces
#1726 opened Nov 23, 2025 by malarbol Loading…
Metric extensions of pseudometric spaces metric-spaces
#1724 opened Nov 22, 2025 by malarbol Loading…
44
Some constructions on polynomial endofunctors foundation trees
#1723 opened Nov 20, 2025 by fredrik-bakke Loading…
Equivalences of polynomial endofunctors trees
#1722 opened Nov 20, 2025 by fredrik-bakke Loading…
Kőnig's theorem set-theory Wikipedia theorems
#1720 opened Nov 17, 2025 by fredrik-bakke • Draft
The real number e analysis real-numbers
#1717 opened Nov 16, 2025 by lowasser • Draft
1
The ratio test for convergence in real Banach spaces analysis linear-algebra
#1716 opened Nov 16, 2025 by lowasser • Draft
The absolute convergence test in real Banach spaces analysis linear-algebra
#1714 opened Nov 15, 2025 by lowasser • Draft
Hilbert spaces linear-algebra
#1713 opened Nov 14, 2025 by lowasser • Draft
Cauchy-Schwarz inequality 100 theorems linear-algebra Wikipedia theorems
#1712 opened Nov 14, 2025 by lowasser • Draft
3
Series in Banach spaces analysis linear-algebra
#1710 opened Nov 14, 2025 by lowasser • Draft
Register two Wikipedia theorems Wikipedia theorems
#1709 opened Nov 13, 2025 by fredrik-bakke Loading…
Inner product spaces 100 theorems linear-algebra Wikipedia theorems
#1705 opened Nov 12, 2025 by lowasser Loading…
30
Normed real vector spaces linear-algebra
#1704 opened Nov 12, 2025 by lowasser Loading…
16
Infinitely differentiable real functions defined on proper closed intervals analysis
#1693 opened Nov 11, 2025 by lowasser • Draft
@lowasser
1
Complex vector spaces complex-numbers linear-algebra
#1692 opened Nov 11, 2025 by lowasser Loading…
9
Subuniverse orthogonal maps orthogonal-factorization-systems
#1686 opened Nov 10, 2025 by fredrik-bakke • Draft
Pointed function H-spaces orthogonal-factorization-systems structured-types
#1677 opened Nov 8, 2025 by fredrik-bakke Loading…
Globular pasting diagrams globular-types
#1671 opened Nov 6, 2025 by EgbertRijke Loading…
14
Relative separations foundation orthogonal-factorization-systems synthetic-homotopy-theory
#1668 opened Nov 6, 2025 by fredrik-bakke • Draft
Turn off η-equality by default computational-behavior
#1666 opened Nov 6, 2025 by fredrik-bakke Loading…
1
Multivariable loop spaces synthetic-homotopy-theory
#1663 opened Nov 3, 2025 by fredrik-bakke Loading…
23
The parametricity axiom foundation
#1642 opened Oct 29, 2025 by fredrik-bakke • Draft
Cauchy precompletions of pseudometric spaces
#1640 opened Oct 28, 2025 by malarbol • Draft
3
ProTip! no:milestone will show everything without a milestone.