finmap
Finite sets, finite maps, multisets and generic sets
46 stars
16 watching
28 forks
Language: Coq
last commit: 4 months ago
Linked from 2 awesome lists
coqfinite-setsmathcompssreflect
finmap Finite sets, finite maps, multisets and generic sets
coq-community/awesome-coq
uhub/awesome-coq