Package: libcoq-hammer (1.3.2+8.18-1 and others)

[ Source: coq-hammer  ]

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.

Other Packages Related to libcoq-hammer

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libcoq-stdlib-84f80 [amd64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  virtual package provided by libcoq-stdlib

• dep: libgcc-s1 (>= 3.0) [not armhf, riscv64]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 3.5) [armhf]

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

Download libcoq-hammer

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.3.2+8.18-1+b1	492.3 kB	3,615.0 kB	[list of files]
arm64	1.3.2+8.18-1+b1	518.6 kB	4,297.0 kB	[list of files]
armhf	1.3.2+8.18-1+b1	481.0 kB	2,819.0 kB	[list of files]
i386	1.3.2+8.18-1+b1	471.4 kB	3,177.0 kB	[list of files]
ppc64 (unofficial port)	1.3.2+8.17-1+b2	506.1 kB	4,423.0 kB	[list of files]
ppc64el	1.3.2+8.18-1+b1	508.0 kB	4,043.0 kB	[list of files]
riscv64	1.3.2+8.18-1+b1	500.4 kB	3,655.0 kB	[list of files]
s390x	1.3.2+8.18-1+b1	498.1 kB	3,825.0 kB	[list of files]