GitHub repository: mattam82/Coq-Equations
Primary language: Coq
Description: A function definition package for Coq