Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
65 Open 1,399 Closed
65 Open 1,399 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

Large left modules linear-algebra
#1721 opened Nov 19, 2025 by lowasser Loading…
Kőnig's theorem set-theory Wikipedia theorems
#1720 opened Nov 17, 2025 by fredrik-bakke • Draft
The square root of two is irrational 100 theorems elementary-number-theory real-numbers
#1718 opened Nov 16, 2025 by lowasser Loading…
22
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
#1712 opened Nov 14, 2025 by lowasser • Draft
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
#1705 opened Nov 12, 2025 by lowasser • Draft
Normed real vector spaces linear-algebra
#1704 opened Nov 12, 2025 by lowasser • Draft
Infinitely differentiable real functions defined on proper closed intervals analysis
#1693 opened Nov 11, 2025 by lowasser • Draft
@lowasser
Complex vector spaces
#1692 opened Nov 11, 2025 by lowasser • Draft
Vector spaces linear-algebra real-numbers
#1689 opened Nov 11, 2025 by lowasser Loading…
17
Subuniverse orthogonal maps orthogonal-factorization-systems
#1686 opened Nov 10, 2025 by fredrik-bakke • Draft
Derivatives of real functions defined on proper closed intervals analysis real-numbers
#1680 opened Nov 9, 2025 by lowasser Loading…
1
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 Loading…
1
Add two projects that use agda-unimath documentation Improvements or additions to documentation website
#1639 opened Oct 28, 2025 by fredrik-bakke Loading…
ProTip! no:milestone will show everything without a milestone.