package coq-mmaps
Several implementations of finite maps over arbitrary ordered types using Coq functors
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.tar.gz
sha512=d544b479674ded30eac2ef1aeb1eb15353543e5dba977323fc49b8a6b9660069c9094a73a0d3b3caea42da8c6d4d5a90d5588f293b7488c01771a8099ebe3264
Description
This project contains several implementations of finite maps over arbitrary ordered types using Coq functors. This is an updated version of Coq Stdlib's FMaps. It is meant to complement the MSet library.
Tags
category:Computer Science/Data Types and Data Structures keyword:finite maps keyword:red-black trees keyword:AVL trees keyword:ordered types logpath:MMaps date:2022-10-18Published: 18 Oct 2022
On This Page