Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: finite-maps

rocq-community/mmaps

Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]

langage: Coq - taille: 734 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 11 mois - étoiles: 12 - forks: 3

reity/logical

Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.

langage: Python - taille: 74,2 ko - dernière synchronisation: il y a 14 jours - enregistré: il y a plus de 2 ans - étoiles: 2 - forks: 0

Related Keywords
finite-maps 2 avl-tree 1 coq 1 docker-coq-action 1 red-black-tree 1 boolean-operations 1 boolean-operators 1 logic-operations 1 logic-operators 1 logical-operators 1 python-constants 1 python-library 1 python-logic 1 python-operations 1 python-operators 1