Issues: math-comp/algebra-tactics
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
Reorganize the test-suite and examples
documentation
Improvements or additions to documentation
good first issue
Good for newcomers
#91
opened Oct 19, 2023 by
pi8027
Add tests for reverse dependencies to CI
good first issue
Good for newcomers
#62
opened Apr 25, 2022 by
pi8027
Magic number Further information is requested
100%N used as "fuel" in reflexive normalization (?)
question
#57
opened Apr 12, 2022 by
pi8027
Compare subterms in the varmap by conversion or keyed matching
enhancement
New feature or request
#18
opened Oct 1, 2021 by
pi8027
Better support for product rings
enhancement
New feature or request
help wanted
Extra attention is needed
#12
opened Sep 22, 2021 by
pi8027
Support ring expressions with exponents
enhancement
New feature or request
#11
opened Sep 22, 2021 by
pi8027
ProTip!
Adding no:label will show everything without a label.