github.com/coq/opam-coq-archive
Linear Algebra. A development of some preliminary linear algebra based on Chapter 1 of "Linear Algebra" by Friedberg, Insel and Spence
opam install coq-lin-alg.8.8.0