tchomphoochan/critbit-coq

(An attempt at) A formally verified Coq implementation of crit-bit trees

Coq