search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
29 stars 1 forks source link

Workaround for #87 #90

Closed pi8027 closed 8 months ago

pi8027 commented 8 months ago

Closes #87