Skip to content

Pull requests: UniMath/agda-unimath

New pull request New
119 Open 825 Closed
119 Open 825 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

Standard partitions of real intervals real-numbers
#1942 opened Apr 24, 2026 by lowasser Collaborator • Draft
3
Break out real-analysis from analysis analysis refactoring
#1941 opened Apr 23, 2026 by lowasser Collaborator Loading…
Sums in normed real vector spaces linear-algebra
#1940 opened Apr 23, 2026 by lowasser Collaborator • Draft
1
Partitions of real intervals real-numbers
#1939 opened Apr 22, 2026 by lowasser Collaborator • Draft
Increasing arrays in posets order-theory
#1938 opened Apr 22, 2026 by lowasser Collaborator Loading…
7
Subalgebras of unital associative algebras commutative-algebra
#1937 opened Apr 19, 2026 by lowasser Collaborator Loading…
The type of permutations on n elements is finite with cardinality n! finite-group-theory
#1936 opened Apr 18, 2026 by lowasser Collaborator Loading…
3
Matrix overhaul do not merge linear-algebra
#1935 opened Apr 17, 2026 by lowasser Collaborator • Draft
1
Refactor tuples lists
#1933 opened Apr 1, 2026 by lowasser Collaborator Loading…
1
Refactor lists lists
#1932 opened Apr 1, 2026 by lowasser Collaborator Loading…
Inserting and removing elements in finite sequences lists
#1929 opened Mar 30, 2026 by malarbol Collaborator Loading…
2
Bases of modules and vector spaces linear-algebra
#1928 opened Mar 29, 2026 by lowasser Collaborator • Draft
Construction of the free left module over a ring universal-algebra
#1927 opened Mar 24, 2026 by lowasser Collaborator • Draft
Isomorphisms to free algebras universal-algebra
#1926 opened Mar 24, 2026 by lowasser Collaborator • Draft
The universal property of free vector spaces linear-algebra
#1922 opened Mar 22, 2026 by lowasser Collaborator • Draft
The universal property of quotient algebras universal-algebra
#1920 opened Mar 22, 2026 by lowasser Collaborator Loading…
1
The construction of quotient algebras satisfies the universal property universal-algebra
#1917 opened Mar 22, 2026 by lowasser Collaborator • Draft
1
Algebraic theory of left modules over commutative rings universal-algebra
#1915 opened Mar 21, 2026 by lowasser Collaborator • Draft
Algebraic theory of left modules over rings universal-algebra
#1914 opened Mar 21, 2026 by lowasser Collaborator • Draft
The tensor product of left modules over commutative rings linear-algebra
#1913 opened Mar 21, 2026 by lowasser Collaborator • Draft
Algebraic theory of abelian groups universal-algebra
#1912 opened Mar 21, 2026 by lowasser Collaborator • Draft
Refactor the algebraic theory of groups universal-algebra
#1911 opened Mar 21, 2026 by lowasser Collaborator • Draft
The algebraic theory of monoids universal-algebra
#1910 opened Mar 21, 2026 by lowasser Collaborator • Draft
The external direct sum of abelian groups
#1906 opened Mar 19, 2026 by lowasser Collaborator • Draft
Equality and complete metric spaces metric-spaces
#1904 opened Mar 19, 2026 by malarbol Collaborator Loading…
ProTip! What’s not been updated in a month: updated:<2026-03-28.