2 search results for "author:"ZhengPu Shi""

Showing 1 - 2
  1. coq-finmatrix

    No documentation

    Matrix by fin (finite set over nat) in Coq
    keyword:matrices category:Mathematics/Algebra date:2024-06-11 logpath:FinMatrix
    ZhengPu Shi
    1.0.2
    MIT
    Used by 0 other packages
    11 Jun 2024
  2. 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