math-comp / algebra-tactics

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

Improve the error message of lra #75

Closed pi8027 closed 1 year ago