package coq-containers
Containers: a typeclass-based library of finite sets/maps
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=9361da6c6d6e85a392ddb76f979ecb6c
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.
Tags
keyword: data structures keyword: type classes category: Computer Science/Data Types and Data StructuresPublished: 19 Oct 2020
On This Page