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