This repository contains several implementations of finite maps over arbitrary ordered types using Coq functors. This is an udpdated version of Coq Stdlib's FMaps. It is meant to complement the MSet library.
As a starting point, you may consider [MMaps.Interface] and [MMaps.demo].
Caveat : This is work-in-progress, and mights still change in the future,
including MMaps.Interface. This is open source : patches, questions,
comments are most welcome !
- Author : Pierre Letouzey (University Paris Diderot - INRIA)
- Copyright : Pierre Letouzey (2015 - 2020)
- Licence : LGPL
- Keywords : Finite Maps, Sorted lists, Balanced trees, Red-black trees, AVL, Functors, data structures
- Category : Computer Science/Data Types and Data Structures