finmap

Finite sets, finite maps, multisets and generic sets

Coq45

11 months ago

coqfinite-setsmathcomp

multiset.cr

Multiset (bag) implementation in Crystal

Crystal4mit

last year

bagcrystaldata-structures