GitHub repository: xavierleroy/canonical-binary-tries
Primary language: Coq
Description: Coq development accompanying the paper "Efficient Extensional Binary Tries"