github.com/coq/opam-coq-archive
Elements of Group Theory. Group Theory following the book "Group Theory" from W.R. Scott.
opam install coq-group-theory.8.8.0