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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Functoriality of the pullback-hom
foundation
orthogonal-factorization-systems
wild-category-theory
#1134
opened Apr 28, 2024 by
fredrik-bakke
Document external dependencies for building the website
documentation
Improvements or additions to documentation
help wanted
Extra attention is needed
#1132
opened Apr 27, 2024 by
VojtechStep
Prove uniqueness of homotopy and equivalence induction
foundation
good first issue
Good for newcomers
#1123
opened Apr 20, 2024 by
fredrik-bakke
Postulating colimits
computational-behavior
refactoring
synthetic-homotopy-theory
#1122
opened Apr 20, 2024 by
fredrik-bakke
7 tasks
Construct
compute-glue-cogap from appropriate infrastructure
synthetic-homotopy-theory
#1120
opened Apr 19, 2024 by
fredrik-bakke
Idempotents in Intensional Type Theory
formalization-target
foundation
#1103
opened Mar 30, 2024 by
fredrik-bakke
8 of 11 tasks
Target: Sequential Colimits in Homotopy Type Theory
formalization-target
synthetic-homotopy-theory
#1080
opened Mar 15, 2024 by
VojtechStep
The search functionality seems to be limited to 15 results
question
Further information is requested
website
#1062
opened Mar 10, 2024 by
EgbertRijke
Factor metafiles to a subdirectory
help wanted
Extra attention is needed
repo-maintenance
#1061
opened Mar 9, 2024 by
fredrik-bakke
Small refactorings for real numbers
real-numbers
refactoring
#1060
opened Mar 7, 2024 by
fredrik-bakke
3 tasks
List of formalized publications
documentation
Improvements or additions to documentation
enhancement
New feature or request
formalization-target
website
#1055
opened Mar 4, 2024 by
fredrik-bakke
5 tasks
Inconsistent font sizes in code blocks
help wanted
Extra attention is needed
website
#1053
opened Mar 2, 2024 by
fredrik-bakke
The module index generator doesn't support modules with unicode characters in their names
bug
Something isn't working
CI
pre-commit
#1027
opened Feb 10, 2024 by
fredrik-bakke
Idea: use coherently invertible maps as default notion of equivalence
enhancement
New feature or request
foundation
help wanted
Extra attention is needed
question
Further information is requested
refactoring
#946
opened Nov 26, 2023 by
fredrik-bakke
Necessary truncations on formalizing cardinal arithmetic
set-theory
#938
opened Nov 24, 2023 by
ElifUskuplu
Idea: refactor categories to build on the theory of wild categories
category-theory
help wanted
Extra attention is needed
refactoring
structured-types
#933
opened Nov 22, 2023 by
fredrik-bakke
Project: Sheaves and excision with respect to regular cd-structures
formalization-target
orthogonal-factorization-systems
synthetic-homotopy-theory
#930
opened Nov 21, 2023 by
EgbertRijke
14 of 41 tasks
Previous Next
ProTip!
Follow long discussions with comments:>50.