2 search results for "tag:"keyword:finite maps""

Showing 1 - 2
  1. coq-extructures

    No documentation

    Finite sets, maps, and other data structures with extensional reasoning
    keyword:finite maps keyword:extensionality category:Computer Science/Data Types and Data Structures logpath:extructures
    Arthur Azevedo de Amorim
    0.6.0
    MIT
    Used by 1 other packages
    20 Oct 2026
  2. coq-mmaps

    No documentation

    Several implementations of finite maps over arbitrary ordered types using Coq functors
    category:Computer Science/Data Types and Data Structures keyword:finite maps keyword:red-black trees keyword:AVL trees keyword:ordered types logpath:MMaps date:2024-01-08
    Pierre Letouzey Andrew W. Appel
    1.1
    LGPL-2.1-only
    Used by 0 other packages
    08 Jan 2024