skyskimmer / 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://mattam82.github.io/Coq-Equations
License: GNU Lesser General Public License v2.1