GitHub repository: Barbichu/finmap
Primary language: Coq
Created: 2015-05-13T16:16:06Z
Description: Finset and finmap library