There are 0 repository under finite-maps topic.
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.