coq-community / coq-mmaps Goto Github PK
View Code? Open in Web Editor NEWModular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
Home Page: https://coq-community.org/coq-mmaps/
License: GNU Lesser General Public License v2.1