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: Feb 09 2023 at 02:02 UTC