Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
README.md		README.md
matrix_example.v		matrix_example.v

Repository files navigation

mathcomp_matrix_example

A repository containing sample mathcomp matrix proods

Coq version used: 8.12.0.

All supporting libraries are installed using opam.

About

A repository containing sample mathcomp matrix proods

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages