xavierleroy/canonical-binary-tries
Coq development accompanying the paper "Efficient Extensional Binary Tries"
CoqBSD-3-Clause
Stargazers
- ahmadrasyidsalim127.0.0.1
- cdstanfordDavis, California, USA
- clarusFormal Land
- DIJamner
- Julow@tarides
- LighghtEelooUniversity of Michigan
- LimitEpsilonSeoul National University
- mariojppereira
- nikitavoloboevMadrid
- nobrowser
- omasanoriJapan
- philzook58Draper
- Rastrian@cloudwalk
- rigilleMixrank
- samuelgruetterMIT
- savi2w@creme-tech
- smondetNew York, NY
- smorimoto@ocaml @tc39
- yiyuan-caoPeking University