-
Notifications
You must be signed in to change notification settings - Fork 71
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
Mdbook doesn't render links in headers in the right-hand bar
invalid
This doesn't seem right
question
Further information is requested
website
#1204
opened Oct 19, 2024 by
fredrik-bakke
Undetected ill-formed macro invocations
bug
Something isn't working
CI
#1200
opened Oct 17, 2024 by
fredrik-bakke
Search engine support
enhancement
New feature or request
help wanted
Extra attention is needed
website
#1194
opened Oct 10, 2024 by
fredrik-bakke
References for citations vs. further reading
documentation
Improvements or additions to documentation
formatting
#1164
opened Aug 21, 2024 by
fredrik-bakke
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
10 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
Formalized results from the literature
documentation
Improvements or additions to documentation
enhancement
New feature or request
formalization-target
website
#1055
opened Mar 4, 2024 by
fredrik-bakke
5 tasks
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
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.