1 search result for "tag:"keyword: red-black trees""

Showing 1 - 1
  1. coq-fsets

    No documentation

    Finite Sets overs Ordered Types
    keyword: finite sets keyword: sorted lists keyword: balanced trees keyword: red-black trees keyword: AVL keyword: functors keyword: data structures category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures
    Pierre Letouzey Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019