search

math-comp / algebra-tactics

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

Revert #90 #92

Open pi8027 opened 8 months ago

pi8027 commented 8 months ago

Since the issue has been fixed on the Coq side (coq/coq#18166), we should be able to revert #90 (after the release of Coq 8.18.1 or 8.19).

Zimmi48 commented 2 weeks ago

Coq 8.18.1 never happened (and never will) but 8.19.0 has.

pi8027 commented 2 weeks ago

Thanks. I'm unsure if I want to revert it now, but I will open a PR to do so.