2 search results for "tag:"keyword: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.2
    CECILL-B
    Used by 6 other packages
    13 Nov 2025
  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.2
    CECILL-B
    Used by 2 other packages
    13 Nov 2025