coq-equations

A plugin for Coq to add dependent pattern-matching.

opam install coq-equations.0.9~beta2
homepage
https://github.com/mattam82/Coq-Equations
license
LGPL 2.1
bugs tracker
https://github.com/mattam82/Coq-Equations/issues
dependencies
coq = 8.5~beta2
source
https://github.com/mattam82/Coq-Equations/archive/0.9.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-equations/coq-equations.0.9~beta2