1 search result for "tag:"keyword:AVL trees""

Showing 1 - 1

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