description

Name: Containers
Title: Containers: a typeclass-based library of finite sets/maps
Author: Stéphane Lescuyer
Institution: INRIA Saclay - Île-de-France, ProVal project
Description: This is a reimplementation of the FSets/FMaps library from the standard library, using typeclasses. See tests files for usage. A new vernacular command is provided by Generate.v and the plugin to automatically generate ordered types for user-defined inductive types.
Keywords: data structures, type classes
Category: Computer Science/Data Types and Data Structures