extensional trie map for positive

coq-community · Jan 23, 2023 · f768e7c · f768e7c
1 parent 2af826d
commit f768e7c
Show file tree

Hide file tree

Showing 2 changed files with 516 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -13,5 +13,6 @@ theories/AVL.v
 theories/AVLproofs.v
 theories/RBT.v
 theories/RBTproofs.v
+theories/Trie.v
 theories/MMaps.v
 theories/demo.v