finite-maps

There are 0 repository under finite-maps topic.

coq-community / mmaps
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
avl-tree coq docker-coq-action finite-maps red-black-tree
Language:Coq 12
reity / logical
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
python-library logical-operators boolean-operations finite-maps boolean-operators logic-operators python-constants python-operators python-operations logic-operations python-logic
Language:Python 2