Skip to content

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.

Sign up for GitHub

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

14 Open 23 Closed
14 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01
#103 opened Dec 5, 2024 by MSoegtropIMC
ring mysteriously fails or succeeds on convertible goals
#101 opened Sep 4, 2024 by andrew-appel
3
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
Commutative and non-commutative algebras
#79 opened Feb 15, 2023 by pi8027
1
TODOs in lra
#73 opened Nov 25, 2022 by pi8027
4 of 9 tasks
1
Reflexive zify
#63 opened Apr 27, 2022 by pi8027
4
Add tests for reverse dependencies to CI good first issue Good for newcomers
#62 opened Apr 25, 2022 by pi8027
1
Magic number 100%N used as "fuel" in reflexive normalization (?) question Further information is requested
#57 opened Apr 12, 2022 by pi8027
11
ring_simplify enhancement New feature or request
#56 opened Apr 12, 2022 by pi8027
opam package
#23 opened Oct 12, 2021 by amahboubi
41
Compare variables by conversion or keyed matching enhancement New feature or request
#18 opened Oct 1, 2021 by pi8027
6
Support converse rings enhancement New feature or request
#17 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
3
ProTip! Updated in the last three days: updated:>2024-12-10.