Issues

• automate opam release

  math-comp/algebra-tactics#124 · Filter by author gares opened on Sep 5, 2025
  2

• Proper support for the test suite in Nix CI

  math-comp/algebra-tactics#117 · Filter by author pi8027 opened on May 14, 2025

• Reorganize the test-suite and examples

  documentationgood first issue
  math-comp/algebra-tactics#91 · Filter by author pi8027 opened on Oct 19, 2023

• Commutative and non-commutative algebras

  math-comp/algebra-tactics#79 · Filter by author pi8027 opened on Feb 15, 2023
  1

• TODOs in lra

  math-comp/algebra-tactics#73 · Filter by author pi8027 opened on Nov 25, 2022
  5

• Reflexive zify

  math-comp/algebra-tactics#63 · Filter by author pi8027 opened on Apr 27, 2022
  4

• Add tests for reverse dependencies to CI

  good first issue
  math-comp/algebra-tactics#62 · Filter by author pi8027 opened on Apr 25, 2022
  1

• Magic number 100%N used as "fuel" in reflexive normalization (?)

  question
  math-comp/algebra-tactics#57 · Filter by author pi8027 opened on Apr 12, 2022
  11

• ring_simplify

  enhancement
  math-comp/algebra-tactics#56 · Filter by author pi8027 opened on Apr 12, 2022

• opam package

  math-comp/algebra-tactics#23 · Filter by author amahboubi opened on Oct 12, 2021
  41

• Compare variables by conversion or keyed matching

  enhancement
  math-comp/algebra-tactics#18 · Filter by author pi8027 opened on Oct 1, 2021
  6

• Support converse rings

  enhancement
  math-comp/algebra-tactics#17 · Filter by author pi8027 opened on Oct 1, 2021

• Better support for product rings

  enhancementhelp wanted
  math-comp/algebra-tactics#12 · Filter by author pi8027 opened on Sep 22, 2021

• Support ring expressions with exponents

  enhancement
  math-comp/algebra-tactics#11 · Filter by author pi8027 opened on Sep 22, 2021
  3