2 search results for "tag:"logpath:mathcomp.finmap""

Showing 1 - 2
  1. coq-mathcomp-finmap

    No documentation

    Compatibility package for rocq-mathcomp-finmap
    keyword:finmap keyword:finset keyword:multiset logpath:mathcomp.finmap
    Cyril Cohen Kazuhiko Sakaguchi
    2.2.4
    CECILL-B
    Used by 7 other packages
    24 Jul 2026
  2. rocq-mathcomp-finmap

    No documentation

    Finite sets, finite maps, finitely supported functions
    keyword:finmap keyword:finset keyword:multiset logpath:mathcomp.finmap
    Cyril Cohen Kazuhiko Sakaguchi
    2.2.4
    CECILL-B
    Used by 4 other packages
    24 Jul 2026