search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33 stars 2 forks source link

`ring_simplify` #56

Open pi8027 opened 2 years ago

pi8027 commented 2 years ago

Currently, Algebra Tactics do not provide ring_simplify. I would like to implement it at some point.