olaure01 / coq-equations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mattam82/coq-equations
A function definition package for Coq
Home Page: http://mattam82.github.io/Coq-Equations
License: GNU Lesser General Public License v2.1