https://github.com/mattam82/Coq-Equations
Coq205
6 months ago
A function definition package for Coq
GNU Lesser General Public License v2.1