Code

Add matrix normal forms#54

Code

Merged

proux01 merged 3 commits intomastercoq-community/coqeal:masterfrom add-matrix-normal-formscoq-community/coqeal:add-matrix-normal-formsCopy head branch name to clipboardNov 5, 2021

+2,159-5

Commits

Commits on Nov 5, 2021

• add all Coq files except similar.v from https://github.com/coq-community/matrix_canonical_forms/tree/86cc2a060630faddb91a8360783667fbd419756f

  

  palmskog

  authored and

  proux01

  committed
  c83b3f9

  Copy full SHA for c83b3f9

• add new files to _CoqProject, adjust their Requires

  

  palmskog

  authored and

  proux01

  committed
  d9b80c9

  Copy full SHA for d9b80c9

• update documentation and opam requirements for matrix normal forms

  

  palmskog

  authored and

  proux01

  committed
  f837e55

  Copy full SHA for f837e55