GitHub repository: 4k4xs4pH1r3/MSetsExtra
Description: A Coq Library for Efficiently Executable Sets