❤️ GitHub - mattam82/Coq-Equations: A function definition package for Coq