package coq-mmaps
Several implementations of finite maps over arbitrary ordered types using Coq functors
Install
Dune Dependency
Authors
Maintainers
Sources
coq-mmaps-1.1.tar.gz
sha512=55d2949391edf325e872a1ffa3fe55a4cef3120ee4b4d3498b510ffa22c877c4a40549b8d85e9adb1e06a002334c245608ff4d0a505035dc6710d46efe65b65f
Description
This project contains several implementations of finite maps, including implementations based on AVL trees and red-black trees. The finite maps are parameterized on arbitrary ordered types using Coq functors. This is an updated version of the Coq Stdlib's FMaps that is meant to complement the Stdlib's 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:2024-01-08Published: 08 Jan 2024
On This Page