GitHub repository: BelegCuthalion/finmap
Primary language: Coq
Description: Finset and finmap library