search

math-comp / algebra-tactics

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

Remove zify_ring, zify_field, and ratify_field for the moment #38

Closed pi8027 closed 2 years ago

pi8027 commented 2 years ago

I will experiment with them in apery and put them back later.