Finite sets, finite maps, multisets and generic sets
Coq45
12 months ago
coqfinite-setsmathcomp
Multiset (bag) implementation in Crystal
Crystal4mit
last year
bagcrystaldata-structures