-
Notifications
You must be signed in to change notification settings - Fork 76
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
Reasoning syntax doesn't produce the expected result for relations which aren't strictly left unital
bug
Something isn't working
foundation
#1369
opened Mar 17, 2025 by
VojtechStep
Concept macro incompatible with inline latex?
bug
Something isn't working
mathswitch
tooling
#1362
opened Mar 12, 2025 by
fredrik-bakke
Undetected ill-formed macro invocations
bug
Something isn't working
CI
#1200
opened Oct 17, 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
Website building script should ignore all junk files
bug
Something isn't working
website
#666
opened Jun 22, 2023 by
fredrik-bakke
ProTip!
Add no:assignee to see everything that’s not assigned.