1 search result for "author:"Valeran Maytié <valeran.maytie@universite-paris-saclay.fr>""

Showing 1 - 1
  1. coq-diqt

    No documentation

    Formalization of hashtables with Radix trees and PArray
    keyword:hashtables keyword:primitive arrays keyword:data structures keyword:dictionaries category:Computer Science/Data Types and Data Structures logpath:Diqt date:2023-07-13
    Valeran Maytié <valeran.maytie@universite-paris-saclay.fr>
    1.0.0
    CECILL-B
    Used by 0 other packages
    13 Jul 2023