Fix the support for semirings

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

32 stars 2 forks source link

Closed pi8027 closed 1 year ago

pi8027 commented 1 year ago

Apparently, the ring tactic was broken when the target type is a semiring. So I have to do a minor release.

Closes #40