-
Notifications
You must be signed in to change notification settings - Fork 6
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#124 In math-comp/algebra-tactics;
- Status: Open.#117 In math-comp/algebra-tactics;
Reorganize the test-suite and examples
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.#91 In math-comp/algebra-tactics;- Status: Open.#79 In math-comp/algebra-tactics;
- Status: Open.#73 In math-comp/algebra-tactics;
- Status: Open.#63 In math-comp/algebra-tactics;
- Status: Open.#62 In math-comp/algebra-tactics;
Magic number
100%Nused as "fuel" in reflexive normalization (?)questionFurther information is requestedFurther information is requestedStatus: Open.#57 In math-comp/algebra-tactics;ring_simplifyenhancementNew feature or requestNew feature or requestStatus: Open.#56 In math-comp/algebra-tactics;- Status: Open.#23 In math-comp/algebra-tactics;
Compare variables by conversion or keyed matching
enhancementNew feature or requestNew feature or requestStatus: Open.#18 In math-comp/algebra-tactics;Support converse rings
enhancementNew feature or requestNew feature or requestStatus: Open.#17 In math-comp/algebra-tactics;