Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat] avl-treecoqhuffman-codingquadtreebinomial-heapssreflect2-3-treeleftist-heapmathcompredblack-tree UpdatedDec 30, 2024 Coq pravahanj/Data_Structure-and-Algorithm-CodingNinjas.com ...