1 result found Sort:

coq-community
fav-ssr coq-community
7
45
mit
8
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
coq 2-3-tree avl-tree mathcomp quadtree ssreflect leftist-heap binomial-heap redblack-tree huffman-coding
Created 2021-10-29
96 commits to trunk branch, last one 7 days ago