Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Repository Index
55,140 visible repositories in the index
1–1 of 1 · Most stars
55,140 visible repositories in the index
1–1 of 1 · Most stars
Finite sets, finite maps, multisets and generic sets