1 search result for "tag:"keyword:extensionality""

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