coq-hammer

Automation for Dependent Type Theory

opam install coq-hammer.1.0.3
homepage
http://cl-informatik.uibk.ac.at/cek/coqhammer/
license
LGPL 2.1
bugs tracker
mailto://lukaszcz@mimuw.edu.pl
dependencies
coq ((>= 8.6 & < 8.7~))
source
http://cl-informatik.uibk.ac.at/cek/coqhammer/coqhammer-1.0.3-coq8.6.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-hammer/coq-hammer.1.0.3