Skip to content

Issues: UniMath/agda-unimath

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
10 Open 35 Closed
10 Open 35 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Sums and products over arbitrary finite types commutative-algebra finite-group-theory group-theory linear-algebra ring-theory univalent-combinatorics
#1367 opened Mar 16, 2025 by lowasser Loading…
30
Large groups group-theory
#1334 opened Feb 18, 2025 by lowasser
7
Quasigroups group-theory
#1330 opened Feb 15, 2025 by djspacewhale • Draft
30
Target: apartness algebras and their antisubalgebras commutative-algebra group-theory ring-theory
#1239 opened Jan 21, 2025 by djspacewhale
2
Refactor extensionality of Torsor-Abstract-Group group-theory
#902 opened Nov 3, 2023 by fredrik-bakke
Monomorphisms in the category of groups group-theory
#824 opened Oct 9, 2023 by EgbertRijke
Equivalent sets have isomorphic symmetric concrete groups good first issue Good for newcomers group-theory
#737 opened Sep 10, 2023 by fredrik-bakke
1 task
Equivalences of concrete groups are isomorphisms of concrete groups good first issue Good for newcomers group-theory
#736 opened Sep 10, 2023 by fredrik-bakke
1 task
Formalize asserted connections between postulates in design principles documentation Improvements or additions to documentation formalization-target foundation good first issue Good for newcomers group-theory synthetic-homotopy-theory
#637 opened Jun 4, 2023 by fredrik-bakke
3 tasks
Beyond finite sets category-theory cleanup graph-theory group-theory refactoring trees univalent-combinatorics
#623 opened May 15, 2023 by EgbertRijke • Draft
4
ProTip! no:milestone will show everything without a milestone.