finmap

Finite sets, finite maps, multisets and generic sets

Coq46

6 months ago

coqfinite-setsmathcomp

multiset.cr

Multiset (bag) implementation in Crystal

Crystal4mit

2 years ago

bagcrystaldata-structures