A Coq Library for Efficiently Executable Sets - View it on GitHub