Yirmiuc / libcoq-extructures

data structures with extensional reasoning for Coq