coq-hammer

• 1.0.3
• 1.0.8+8.7
• 1.0.9+8.8.0
• 1.0.9+8.8.1
• 1.1+8.8
• 1.1+8.9
• 1.1.1+8.9
• 1.1.1+8.10
• 1.2+8.10
• 1.2+8.11
• 1.2.1+8.10
• 1.2.1+8.11
• 1.3+8.10
• 1.3+8.11
• 1.3+8.12

General-purpose automated reasoning hammer tool for Coq

opam install coq-hammer.1.3+8.12

homepage

https://github.com/lukaszcz/coqhammer

license

LGPL-2.1-only

bugs tracker

https://github.com/lukaszcz/coqhammer/issues

dependencies

"ocaml" "coq" {>= "8.12" & < "8.13~"} ("conf-g++" {build} | "conf-clang" {build}) "coq-hammer-tactics" {= version}

source

https://github.com/lukaszcz/coqhammer/archive/v1.3-coq8.12.tar.gz

package

https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-hammer/coq-hammer.1.3+8.12