coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45 stars 7 forks source link

Appel-Leroy #8

Open clayrat opened 2 years ago

clayrat commented 2 years ago

https://hal.inria.fr/hal-03372247 Appel, Leroy, [2022] "Efficient Extensional Binary Tries"

https://github.com/xavierleroy/canonical-binary-tries

clayrat commented 2 years ago

see WIP implementation at https://gitlab.com/thewalker77/ssrmap