mathcomp_matrix_example A repository containing sample mathcomp matrix proods Coq version used: 8.12.0. All supporting libraries are installed using opam.