It is maybe a known bug but the intruction from README doesn't work for me:
$ opam install coq-mathcomp-algebra-tactics
[ERROR] No package named coq-mathcomp-algebra-tactics found.
Sorry, there is no released version yet because it is too experimental. You have to git-clone and then type opam install .
to install it. I should probably fix README.
@Florent Hivert Hi. Algebra Tactics are now available on the OPAM archive for Coq. Sorry for the delay.
Excellent ! Thanks for the ping ! :smile:
Last updated: Jun 01 2023 at 11:01 UTC