1 search result for "tag:"logpath:CoqMatrix""

Showing 1 - 1
  1. coq-matrix

    No documentation

    Formal matrix theory with multiple implementations in Coq
    keyword:matrices category:Mathematics/Algebra date:2024-01-16 logpath:CoqMatrix
    ZhengPu Shi
    1.0.6
    MIT
    Used by 0 other packages
    16 Jan 2024