GitHub repository: letouzey/coq-mmaps
Primary language: Coq
Created: 2016-02-25T17:42:14Z
Description: Modular Finite Maps overs Ordered Types