GitHub repository: math-comp/finmap
Primary language: Rocq Prover
Description: Finite sets, finite maps, multisets and generic sets