-
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
Absolute value on rational numbers
elementary-number-theory
#1381
opened Mar 25, 2025 by
lowasser
Loading…
limits sequences metric spaces
elementary-number-theory
foundation
metric-spaces
#1378
opened Mar 24, 2025 by
malarbol
Loading…
Remove dependency between
BUILTIN
and postulates
elementary-number-theory
experiment
foundation
refactoring
reflection
#1373
opened Mar 20, 2025 by
fredrik-bakke
Loading…
Sequences of positive rational numbers
elementary-number-theory
#1371
opened Mar 19, 2025 by
malarbol
Loading…
Judgmental rational addition
computational-behavior
elementary-number-theory
#1340
opened Feb 21, 2025 by
lowasser
Refactor elementary number theory
100 theorems
elementary-number-theory
oeis
refactoring
#1211
opened Oct 25, 2024 by
EgbertRijke
•
Draft
Clean up the universal property of the integers
cleanup
elementary-number-theory
good first issue
Good for newcomers
structured-types
#713
opened Aug 27, 2023 by
VojtechStep
ProTip!
What’s not been updated in a month: updated:<2025-02-25.