cmangin / coq-equations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mattam82/coq-equations
A plugin for Coq to add dependent pattern-matching.
Home Page: http://mattam.org/research/coq/equations.en.html
License: GNU Lesser General Public License v2.1