Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
88 Open 1,446 Closed
88 Open 1,446 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

Rename unit map metric quotient improve naming metric-spaces
#1795 opened Jan 13, 2026 by malarbol Loading…
7
Free groups group-theory
#1792 opened Jan 9, 2026 by lowasser Loading…
9
Functoriality of metric quotients and short maps metric-spaces
#1788 opened Jan 6, 2026 by malarbol • Draft
3
WIP: The straightened dependent Leibniz construction foundation
#1785 opened Jan 2, 2026 by fredrik-bakke • Draft
Organize slice foundation refactoring
#1784 opened Jan 2, 2026 by fredrik-bakke Loading…
Real Banach algebras commutative-algebra functional-analysis
#1781 opened Jan 1, 2026 by lowasser • Draft
Algebras over commutative rings commutative-algebra
#1780 opened Jan 1, 2026 by lowasser • Draft
The derivative of the reciprocal function analysis
#1779 opened Dec 31, 2025 by lowasser • Draft
Properties of extensions of metric spaces metric-spaces
#1777 opened Dec 31, 2025 by malarbol • Draft
Cauchy precompletions of metric spaces metric-spaces
#1776 opened Dec 31, 2025 by malarbol • Draft
The chain rule for derivatives of real functions on proper closed intervals
#1775 opened Dec 30, 2025 by lowasser • Draft
Refactor differentiable functions analysis
#1774 opened Dec 30, 2025 by lowasser • Draft
The product rule for derivatives analysis
#1771 opened Dec 27, 2025 by lowasser • Draft
Correct the naming of monotonic neighborhoods in metric spaces improve naming
#1770 opened Dec 26, 2025 by lowasser • Draft
5
Eigenvalues, eigenvectors, and eigenspaces of linear transformations
#1765 opened Dec 24, 2025 by lowasser • Draft
Linear algebra concepts linear-algebra
#1764 opened Dec 24, 2025 by lowasser Loading…
The constructive intermediate value theorem 100 theorems analysis 🏆 milestone 🏆 Wikipedia theorems
#1762 opened Dec 24, 2025 by lowasser Loading…
1
Change to multiplicative terminology for combining finite sequences in semigroups, monoids, and groups group-theory improve naming
#1761 opened Dec 23, 2025 by lowasser • Draft
1
The metric space of complex numbers complex-numbers
#1758 opened Dec 22, 2025 by lowasser Loading…
15
Normed complex vector spaces complex-numbers linear-algebra
#1757 opened Dec 22, 2025 by lowasser • Draft
Smallness of the monomorphism predicate foundation improve naming refactoring
#1749 opened Dec 8, 2025 by fredrik-bakke Loading…
Sine and cosine analysis real-numbers
#1748 opened Dec 6, 2025 by lowasser • Draft
The natural exponential function on real numbers analysis real-numbers
#1747 opened Dec 6, 2025 by lowasser • Draft
5
Forks foundation
#1746 opened Dec 4, 2025 by fredrik-bakke Loading…
Define arithmetic and geometric means real-numbers
#1745 opened Dec 4, 2025 by lowasser • Draft
3
ProTip! Updated in the last three days: updated:>2026-01-14.