Source: coq-hammer Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Section: ocaml Priority: optional Standards-Version: 4.7.0 Rules-Requires-Root: no Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hammer Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hammer.git Homepage: https://github.com/lukaszcz/coqhammer Package: libcoq-hammer Architecture: any Depends: ${coq:Depends}, ${misc:Depends}, ${shlibs:Depends} Provides: ${coq:Provides} Description: automated reasoning tool for Coq Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof. . Coq is a proof assistant for higher-order logic.