algebra-tactics icon indicating copy to clipboard operation
algebra-tactics copied to clipboard
verified publisher icon math-comp

Revert #90

Open pi8027 opened this issue 2 years ago • 2 comments

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).

pi8027 avatar Oct 20 '23 12:10 pi8027

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

Zimmi48 avatar Jun 17 '24 13:06 Zimmi48

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

pi8027 avatar Jun 17 '24 13:06 pi8027