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
11 Open 20 Closed
11 Open 20 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
Closure properties of π-finite types univalent-combinatorics
#1311 opened Feb 9, 2025 by fredrik-bakke Loading…
Modal logic foundation lists modal-logic order-theory univalent-combinatorics
#1146 opened May 31, 2024 by spcfox • Draft
@EgbertRijke
74
Define unlabeled rooted trees good first issue Good for newcomers univalent-combinatorics
#749 opened Sep 10, 2023 by fredrik-bakke
1 task
Define the predicate that f maps two different elements to the same value good first issue Good for newcomers univalent-combinatorics
#748 opened Sep 10, 2023 by fredrik-bakke
1 task
Open claims for partitions of finite types good first issue Good for newcomers univalent-combinatorics
#747 opened Sep 10, 2023 by fredrik-bakke
5 tasks
Show that the type of Ferrers diagrams of any finite type is π-finite good first issue Good for newcomers univalent-combinatorics
#746 opened Sep 10, 2023 by fredrik-bakke
1 task
Show that the number of decidable equivalence relations on a finite type is a Stirling number of the second kind good first issue Good for newcomers univalent-combinatorics
#745 opened Sep 10, 2023 by fredrik-bakke
1 task
Show that the map from a pointed k+1-element type to the complement of the point is an equivalence good first issue Good for newcomers univalent-combinatorics
#744 opened Sep 10, 2023 by fredrik-bakke
1 task
Open claims about 2-element types good first issue Good for newcomers univalent-combinatorics
#743 opened Sep 10, 2023 by fredrik-bakke
4 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! Type g p on any issue or pull request to go back to the pull request listing page.