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

Showing 1 - 1
  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