search

math-comp / algebra-tactics

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

Workaround for the type cast issue #83

Closed pi8027 closed 1 year ago

pi8027 commented 1 year ago

Propagating #82 to other reification predicates, including ones for ring and field.