GitHub repository: pi8027/finmap
Primary language: Coq
Description: Finite sets, finite maps, multisets and order